log demo/noisy.ur

age author description
2009-08-22 Adam Chlipala Convert to requiring explicit 'rpc' marker
2009-05-05 Adam Chlipala Make Effectize more precise
2009-04-16 Adam Chlipala Add more buttons to demo, to avoid effectful GET
2009-04-07 Adam Chlipala Add primary keys to demo
2009-03-10 Adam Chlipala Noisy demo