Mercurial > urweb

annotate tests/radio.ur @ 628:12b73f3c108e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Feb 2009 12:01:24 -0500
parents 71bafe66dbe1
children a1a1d66aebac
rev   line source
adamc@153 1 val handler = fn x => <html><body>
adamc@153 2 You entered: {cdata x.A}
adamc@153 3 </body></html>
adamc@153 4
adamc@153 5 val main = fn () => <html><body>
adamc@153 6 <lform>
adamc@153 7 <radio{#A}>
adamc@153 8 <li> <radioOption value="A"/>A</li>
adamc@153 9 <li> <radioOption value="B"/>B</li>
adamc@153 10 </radio>
adamc@153 11 <submit action={handler}/>
adamc@153 12 </lform>
adamc@153 13 </body></html>