diff demo/more/conference1.ur @ 1006:5a0f6ec208ce

Checking deadline; sign-in
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 11:15:37 -0400
parents 61c30f0742d7
children d3af9e54c828
line wrap: on
line diff
--- a/demo/more/conference1.ur	Tue Oct 20 13:08:42 2009 -0400
+++ b/demo/more/conference1.ur	Thu Oct 22 11:15:37 2009 -0400
@@ -1,4 +1,6 @@
 open Conference.Make(struct
                          val paper = {}
                          val review = {}
+
+                         val submissionDeadline = readError "2009-10-22 23:59:59"
                      end)