view demo/more/conference1.ur @ 1009:59097824f19b

Viewing papers
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 12:16:31 -0400
parents d3af9e54c828
children 16f7cb0891b6
line wrap: on
line source
open ConferenceFields

open Conference.Make(struct
                         val paper = {Title = title,
                                      Abstract = abstract}
                         val review = {}

                         val submissionDeadline = readError "2009-10-22 23:59:59"

                         fun summarizePaper r = cdata r.Title
                     end)