Mercurial > urweb

diff demo/more/conference.urs @ 1006:5a0f6ec208ce

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Checking deadline; sign-in
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 11:15:37 -0400
parents a87495bcaeec
children d3af9e54c828
line wrap: on
line diff
--- a/demo/more/conference.urs	Tue Oct 20 13:08:42 2009 -0400
+++ b/demo/more/conference.urs	Thu Oct 22 11:15:37 2009 -0400
@@ -6,6 +6,8 @@
                  con review :: {(Type * Type)}
                  constraint [Paper, User] ~ review
                  val review : $(map Meta.meta review)
+
+                 val submissionDeadline : time
              end) : sig
 
     val main : unit -> transaction page