Mercurial > urweb
diff demo/more/conference1.ur @ 1007:d3af9e54c828
Title and abstract
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 22 Oct 2009 11:37:58 -0400 |
parents | 5a0f6ec208ce |
children | 59097824f19b |
line wrap: on
line diff
--- a/demo/more/conference1.ur Thu Oct 22 11:15:37 2009 -0400 +++ b/demo/more/conference1.ur Thu Oct 22 11:37:58 2009 -0400 @@ -1,5 +1,8 @@ +open ConferenceFields + open Conference.Make(struct - val paper = {} + val paper = {Title = title, + Abstract = abstract} val review = {} val submissionDeadline = readError "2009-10-22 23:59:59"