Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1005:c6e948ec79e9 1006:5a0f6ec208ce
4 val paper : $(map Meta.meta paper) 4 val paper : $(map Meta.meta paper)
5 5
6 con review :: {(Type * Type)} 6 con review :: {(Type * Type)}
7 constraint [Paper, User] ~ review 7 constraint [Paper, User] ~ review
8 val review : $(map Meta.meta review) 8 val review : $(map Meta.meta review)
9
10 val submissionDeadline : time
9 end) : sig 11 end) : sig
10 12
11 val main : unit -> transaction page 13 val main : unit -> transaction page
12 14
13 end 15 end