Mercurial > openid

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

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Small formatting cleanups
author Adam Chlipala <adam@chlipala.net>
date Sat, 23 Apr 2011 09:53:55 -0400
parents df258dbf4739
children f6b3fbf10dac
comparison
equal deleted inserted replaced
36:df258dbf4739 37:e31baf0f275e
14 val formatLogon : ({User : string} -> transaction page) -> xbody 14 val formatLogon : ({User : string} -> transaction page) -> xbody
15 end 15 end
16 16
17 structure DefaultDisplay : CTLDISPLAY = struct 17 structure DefaultDisplay : CTLDISPLAY = struct
18 fun formatUser user = 18 fun formatUser user =
19 <xml>You are logged in as {user}</xml> 19 <xml>You are logged in as {user}.</xml>
20 20
21 fun formatLogout url = 21 fun formatLogout url =
22 <xml><a href={url}>Log Out</a></xml> 22 <xml><a href={url}>Log Out</a></xml>
23 23
24 fun formatSignup url = 24 fun formatSignup url =