Mercurial > urweb
diff demo/batch.ur @ 782:a44daa674810
Make Effectize more precise
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 05 May 2009 10:23:16 -0400 |
parents | 15ddd64a5113 |
children | ed06e25c70ef |
line wrap: on
line diff
--- a/demo/batch.ur Sun May 03 16:00:43 2009 -0400 +++ b/demo/batch.ur Tue May 05 10:23:16 2009 -0400 @@ -37,7 +37,7 @@ </table></xml>}/></xml> end -fun action () = +fun main () = lss <- source Nil; batched <- source Nil; @@ -79,7 +79,3 @@ <button value="Execute" onclick={exec ()}/> </body></xml> end - -fun main () = return <xml><body> - <form><submit value="Begin demo" action={action}/></form> -</body></xml>