diff demo/more/conference1.ur @ 1003:61c30f0742d7

Registering for Conference1
author Adam Chlipala <adamc@hcoop.net>
date Tue, 20 Oct 2009 11:05:58 -0400
parents
children 5a0f6ec208ce
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/demo/more/conference1.ur	Tue Oct 20 11:05:58 2009 -0400
@@ -0,0 +1,4 @@
+open Conference.Make(struct
+                         val paper = {}
+                         val review = {}
+                     end)