comparison src/ur/openidUser.urs @ 37:e31baf0f275e

Small formatting cleanups
author Adam Chlipala <adam@chlipala.net>
date Sat, 23 Apr 2011 09:53:55 -0400
parents df258dbf4739
children 3f475c6fb168 328a429dfedb
comparison
equal deleted inserted replaced
36:df258dbf4739 37:e31baf0f275e
20 20
21 val formatSignup : url -> xbody 21 val formatSignup : url -> xbody
22 (* Format the signup link *) 22 (* Format the signup link *)
23 23
24 val formatLogon : ({User : string} -> transaction page) -> xbody 24 val formatLogon : ({User : string} -> transaction page) -> xbody
25 (* Format the login form *) 25 (* Format the login form *)
26 end 26 end
27 27
28 (* Some reasonable default gui control formats for programmers in a hurry. *) 28 (* Some reasonable default gui control formats for programmers in a hurry. *)
29 structure DefaultDisplay : CTLDISPLAY 29 structure DefaultDisplay : CTLDISPLAY
30 30