Mercurial > urweb

annotate demo/more/conference.urp @ 1034:a779402841f6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Hooks for measuring how much interesting proving is going on in elaboration
author Adam Chlipala <adamc@hcoop.net>
date Tue, 17 Nov 2009 12:44:14 -0500
parents 6bcc1020d5cd
children
rev   line source
adamc@1009 1 allow mime application/pdf
adamc@1001 2
adamc@1011 3 $/string
adamc@1003 4 $/option
adamc@1005 5 $/list
adamc@1004 6 meta
adamc@1004 7 bulkEdit
adamc@1015 8 dnat
adamc@1001 9 conference
adamc@1007 10 conferenceFields
adamc@1023 11 select
adamc@1025 12 checkGroup
adamc@1025 13 expandable
adamc@1022 14 bid
adamc@1030 15 decision