# HG changeset patch # User Adam Chlipala # Date 1239910681 14400 # Node ID 15ddd64a5113342fd922fe3ed4e9a99837c39893 # Parent 5819fb63c93af560e23709377bd0e9bf070b5bb3 Add more buttons to demo, to avoid effectful GET diff -r 5819fb63c93a -r 15ddd64a5113 demo/batch.ur --- a/demo/batch.ur Thu Apr 16 15:29:39 2009 -0400 +++ b/demo/batch.ur Thu Apr 16 15:38:01 2009 -0400 @@ -37,7 +37,7 @@ }/> end -fun main () = +fun action () = lss <- source Nil; batched <- source Nil; @@ -79,3 +79,7 @@