comparison 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
comparison
equal deleted inserted replaced
1006:5a0f6ec208ce 1007:d3af9e54c828
1 open ConferenceFields
2
1 open Conference.Make(struct 3 open Conference.Make(struct
2 val paper = {} 4 val paper = {Title = title,
5 Abstract = abstract}
3 val review = {} 6 val review = {}
4 7
5 val submissionDeadline = readError "2009-10-22 23:59:59" 8 val submissionDeadline = readError "2009-10-22 23:59:59"
6 end) 9 end)