log src/cjr_print.sml

age author description
Thu, 26 Mar 2009 16:22:34 -0400 Adam Chlipala Preliminary work supporting channels in databases
Tue, 24 Mar 2009 15:35:46 -0400 Adam Chlipala Variable timeouts and client keep-alive
Thu, 19 Mar 2009 16:34:13 -0400 Adam Chlipala Dummy message delivery to clients
Tue, 10 Mar 2009 11:18:01 -0400 Adam Chlipala React demo
Tue, 10 Mar 2009 10:44:26 -0400 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose
Sun, 08 Mar 2009 13:41:55 -0400 Adam Chlipala RPC returning an option
Sun, 08 Mar 2009 13:28:21 -0400 Adam Chlipala RPC returning a default datatype
Sun, 08 Mar 2009 12:54:07 -0400 Adam Chlipala RPC returning an option datatype
Sun, 08 Mar 2009 12:37:42 -0400 Adam Chlipala RPC returning an enumeration
Sun, 15 Feb 2009 12:33:41 -0500 Adam Chlipala Initial parsing of RPC results
Sun, 15 Feb 2009 11:24:16 -0500 Adam Chlipala Avoid extra slashes in Cjr urlification
Sun, 15 Feb 2009 10:54:00 -0500 Adam Chlipala Reading and displaying value via AJAX
Sun, 15 Feb 2009 10:32:50 -0500 Adam Chlipala First gimpy RPC
Sun, 15 Feb 2009 09:27:36 -0500 Adam Chlipala Export RPC functions and push RPC calls through to Mono
Sun, 11 Jan 2009 10:22:19 -0500 Adam Chlipala Use header to set default script type