Mercurial > urweb

diff demo/more/bid.ur @ 1030:6bcc1020d5cd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of Decision
author Adam Chlipala <adamc@hcoop.net>
date Mon, 02 Nov 2009 15:48:06 -0500
parents 8b7971e74335
children
line wrap: on
line diff
--- a/demo/more/bid.ur	Mon Nov 02 14:22:29 2009 -0500
+++ b/demo/more/bid.ur	Mon Nov 02 15:48:06 2009 -0500
@@ -1,3 +1,5 @@
+con fields userId paperId = [User = userId, Paper = paperId]
+
 functor Make(M : Conference.INPUT) = struct
     open M