annotate tests/rform.ur @ 1496:3010472edf44

Tutorial section headings
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Jul 2011 17:31:57 -0400
parents 4c2c740c6931
children
rev   line source
adamc@598 1 fun main () : transaction page =
adamc@598 2 s <- source "Hi";
adamc@598 3 return <xml><body>
adamc@598 4 <form>
adamc@598 5 <textbox{#A} source={s}/>
adamc@598 6 </form>
adamc@598 7 <a onclick={set s "NEW AND DIFFERENT"}>Change it up!</a><br/>
adamc@598 8 <br/>
adamc@598 9 Latest: <dyn signal={s <- signal s; return (cdata s)}/>
adamc@598 10 </body></xml>