Mercurial > urweb

comparison demo/more/conference.urs @ 1008:1911e84df461

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Move stuff from bulkEdit to meta
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 11:51:31 -0400
parents d3af9e54c828
children 59097824f19b
comparison
equal deleted inserted replaced
1007:d3af9e54c828 1008:1911e84df461
1 functor Make(M : sig 1 functor Make(M : sig
2 con paper :: {(Type * Type)} 2 con paper :: {(Type * Type)}
3 constraint [Id] ~ paper 3 constraint [Id, Document] ~ paper
4 val paper : $(map Meta.meta paper) 4 val paper : $(map Meta.meta paper)
5 val paperFolder : folder paper 5 val paperFolder : folder paper
6 6
7 con review :: {(Type * Type)} 7 con review :: {(Type * Type)}
8 constraint [Paper, User] ~ review 8 constraint [Paper, User] ~ review