Mercurial > openid
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 |