diff demo/more/orm1.ur @ 1988:abb6981a2c4c

Merge with small clean-ups
author Adam Chlipala <adam@chlipala.net>
date Tue, 18 Feb 2014 07:07:01 -0500
parents 819756825c8d
children
line wrap: on
line diff
--- a/demo/more/orm1.ur	Mon Feb 17 14:34:48 2014 -0500
+++ b/demo/more/orm1.ur	Tue Feb 18 07:07:01 2014 -0500
@@ -40,7 +40,7 @@
                                                       | Some r => <xml>{[r.B]}</xml>}
       </li></xml>) lsS}
     </body></xml>
-    
+
 fun main () = return <xml><body>
   <form><submit action={action}/></form>
 </body></xml>