# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1303566835 14400
# Node ID e31baf0f275e1a7d37e0345b5fd3bd2a4a63f2bc
# Parent  df258dbf473916932bf06b41115ac66bb140a12a
Small formatting cleanups

diff -r df258dbf4739 -r e31baf0f275e src/ur/openidUser.ur
--- 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>
diff -r df258dbf4739 -r e31baf0f275e src/ur/openidUser.urs
--- 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. *)