log demo/chat.ur

age author description
2012-07-21 Adam Chlipala Update demo code for key/mouse handler change
2009-08-22 Adam Chlipala Convert to requiring explicit 'rpc' marker
2009-04-16 Adam Chlipala Effectness analysis
2009-04-07 Adam Chlipala Add primary keys to demo
2009-04-05 Adam Chlipala Chat demo