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>