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. *)