Mercurial > openid
diff src/ur/openidUser.ur @ 37:e31baf0f275e
Small formatting cleanups
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 23 Apr 2011 09:53:55 -0400 |
parents | df258dbf4739 |
children | f6b3fbf10dac |
line wrap: on
line diff
--- a/src/ur/openidUser.ur Thu Apr 21 20:06:46 2011 -0430 +++ b/src/ur/openidUser.ur Sat Apr 23 09:53:55 2011 -0400 @@ -16,7 +16,7 @@ structure DefaultDisplay : CTLDISPLAY = struct fun formatUser user = - <xml>You are logged in as {user}</xml> + <xml>You are logged in as {user}.</xml> fun formatLogout url = <xml><a href={url}>Log Out</a></xml>