Mercurial > urweb
comparison demo/more/conference1.ur @ 1031:5dccff15fa62
Decision status placeholder
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Mon, 02 Nov 2009 15:54:22 -0500 |
parents | 6bcc1020d5cd |
children | 5d9f47124c4c |
comparison
equal
deleted
inserted
replaced
1030:6bcc1020d5cd | 1031:5dccff15fa62 |
---|---|
15 open Conference.Join(struct | 15 open Conference.Join(struct |
16 structure O1 = Bid.Make(M) | 16 structure O1 = Bid.Make(M) |
17 structure O2 = Decision.Make(struct | 17 structure O2 = Decision.Make(struct |
18 con paperOther = _ | 18 con paperOther = _ |
19 open M | 19 open M |
20 | |
21 fun status [ctx] [[Body] ~ ctx] | |
22 r = <xml>!</xml> | |
20 end) | 23 end) |
21 end) | 24 end) |
22 end | 25 end |
23 end) | 26 end) |