annotate demo/more/conference.urp @ 1079:d069b193ed6b

Especialize uses a termination measure based on number of arguments introduced
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 19:26:52 -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