Mercurial > urweb
annotate demo/more/conferenceFields.urs @ 1007:d3af9e54c828
Title and abstract
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 22 Oct 2009 11:37:58 -0400 |
| parents | |
| children | 59097824f19b |
| rev | line source |
|---|---|
| adamc@1007 | 1 con title :: (Type * Type) |
| adamc@1007 | 2 val title : Meta.meta title |
| adamc@1007 | 3 |
| adamc@1007 | 4 con abstract :: (Type * Type) |
| adamc@1007 | 5 val abstract : Meta.meta abstract |