diff demo/more/conference1.ur @ 1007:d3af9e54c828

Title and abstract
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 11:37:58 -0400
parents 5a0f6ec208ce
children 59097824f19b
line wrap: on
line diff
--- a/demo/more/conference1.ur	Thu Oct 22 11:15:37 2009 -0400
+++ b/demo/more/conference1.ur	Thu Oct 22 11:37:58 2009 -0400
@@ -1,5 +1,8 @@
+open ConferenceFields
+
 open Conference.Make(struct
-                         val paper = {}
+                         val paper = {Title = title,
+                                      Abstract = abstract}
                          val review = {}
 
                          val submissionDeadline = readError "2009-10-22 23:59:59"