Mercurial > urweb
diff demo/more/conference.urs @ 1006:5a0f6ec208ce
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