Mercurial > openid
changeset 37:e31baf0f275e
Small formatting cleanups
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 23 Apr 2011 09:53:55 -0400 |
parents | df258dbf4739 |
children | 8d23d76b5d48 |
files | src/ur/openidUser.ur src/ur/openidUser.urs |
diffstat | 2 files changed, 2 insertions(+), 2 deletions(-) [+] |
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>
--- a/src/ur/openidUser.urs Thu Apr 21 20:06:46 2011 -0430 +++ b/src/ur/openidUser.urs Sat Apr 23 09:53:55 2011 -0400 @@ -22,7 +22,7 @@ (* Format the signup link *) val formatLogon : ({User : string} -> transaction page) -> xbody - (* Format the login form *) + (* Format the login form *) end (* Some reasonable default gui control formats for programmers in a hurry. *)