Sun, 29 Mar 2009 13:30:01 -0400 |
Adam Chlipala |
Expunging non-nullable rows |
Sun, 29 Mar 2009 11:37:29 -0400 |
Adam Chlipala |
Redo channels, making them single-client |
Thu, 26 Mar 2009 18:26:50 -0400 |
Adam Chlipala |
Chat example working nicely, but without dead channel removal |
Thu, 26 Mar 2009 16:22:34 -0400 |
Adam Chlipala |
Preliminary work supporting channels in databases |
Thu, 26 Mar 2009 15:26:35 -0400 |
Adam Chlipala |
Make sql_injectable class nicer with inclusion |
Sun, 22 Mar 2009 16:03:45 -0400 |
Adam Chlipala |
Proper recv |
Sun, 22 Mar 2009 15:05:07 -0400 |
Adam Chlipala |
First message send delivered, but not interpreted |
Thu, 19 Mar 2009 16:34:13 -0400 |
Adam Chlipala |
Dummy message delivery to clients |
Tue, 10 Mar 2009 17:29:03 -0400 |
Adam Chlipala |
Noisy demo |
Tue, 10 Mar 2009 12:44:40 -0400 |
Adam Chlipala |
ListEdit demo, minus prose |
Tue, 10 Mar 2009 10:44:26 -0400 |
Adam Chlipala |
Avoid any JavaScript when pages don't need it; update demo prose |
Sun, 22 Feb 2009 17:17:01 -0500 |
Adam Chlipala |
demo/hello compiles with kind polymorphism |
Sun, 22 Feb 2009 16:10:25 -0500 |
Adam Chlipala |
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top |
Sat, 21 Feb 2009 15:33:20 -0500 |
Adam Chlipala |
"Hello world" compiles, after replacing type-level fold with map |
Sun, 15 Feb 2009 13:03:09 -0500 |
Adam Chlipala |
Parameterized RPC query |
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 |
Sat, 14 Feb 2009 14:07:56 -0500 |
Adam Chlipala |
Start of RPCification |
Tue, 27 Jan 2009 09:53:51 -0500 |
Adam Chlipala |
Use normal fields of ctextboxes |
Fri, 16 Jan 2009 15:49:10 -0500 |
Adam Chlipala |
dlist example working |
Tue, 13 Jan 2009 15:17:11 -0500 |
Adam Chlipala |
Initial experiments with nested <dyn> |
Sun, 11 Jan 2009 10:22:19 -0500 |
Adam Chlipala |
Use header to set default script type |
Sun, 11 Jan 2009 10:05:06 -0500 |
Adam Chlipala |
Hooking a source into an input |
Thu, 01 Jan 2009 15:11:17 -0500 |
Adam Chlipala |
Injecting an int |
Tue, 30 Dec 2008 11:33:31 -0500 |
Adam Chlipala |
Harmonized source-setting between server and client |
Tue, 30 Dec 2008 10:49:42 -0500 |
Adam Chlipala |
Setting a source server-side |
Tue, 30 Dec 2008 09:43:41 -0500 |
Adam Chlipala |
Starting to implement source set |
Sun, 21 Dec 2008 12:56:39 -0500 |
Adam Chlipala |
Trivial use of a source |
Sun, 21 Dec 2008 12:30:57 -0500 |
Adam Chlipala |
Handling singnal bind |
Sun, 21 Dec 2008 12:01:00 -0500 |
Adam Chlipala |
Switch to using dyn() function in JavaScript |
Sat, 20 Dec 2008 16:19:26 -0500 |
Adam Chlipala |
Successfully generated a page element from a signal |
Sat, 20 Dec 2008 15:46:48 -0500 |
Adam Chlipala |
Initial <dyn> support |
Fri, 19 Dec 2008 12:38:11 -0500 |
Adam Chlipala |
Displayed an alert dialog |
Fri, 19 Dec 2008 11:47:18 -0500 |
Adam Chlipala |
Creation of sources in server code |
Fri, 19 Dec 2008 10:27:58 -0500 |
Adam Chlipala |
Monad type class seems to be working |
Tue, 09 Dec 2008 14:41:19 -0500 |
Adam Chlipala |
Add SQL arithmetic operators |
Sun, 07 Dec 2008 10:02:04 -0500 |
Adam Chlipala |
Finish documenting queries; remove a stray [unit] argument |
Tue, 11 Nov 2008 19:20:37 -0500 |
Adam Chlipala |
Add CutMulti |
Tue, 11 Nov 2008 16:27:51 -0500 |
Adam Chlipala |
More ThreadedBlog progress |
Thu, 06 Nov 2008 19:43:48 -0500 |
Adam Chlipala |
Tree demo working (and other assorted regressions fixed) |
Thu, 06 Nov 2008 18:49:38 -0500 |
Adam Chlipala |
Tree demo works |
Thu, 06 Nov 2008 15:52:13 -0500 |
Adam Chlipala |
Ensql'ing nullables |
Thu, 06 Nov 2008 15:37:38 -0500 |
Adam Chlipala |
Inserted a NULL value |
Thu, 06 Nov 2008 14:03:50 -0500 |
Adam Chlipala |
Cookies work across pages |
Thu, 06 Nov 2008 12:46:45 -0500 |
Adam Chlipala |
Cookie prose; fix bugs that broke demo compilation |
Thu, 06 Nov 2008 12:08:41 -0500 |
Adam Chlipala |
Reading cookies works |
Thu, 06 Nov 2008 11:29:16 -0500 |
Adam Chlipala |
Setting a cookie |
Sat, 01 Nov 2008 17:19:12 -0400 |
Adam Chlipala |
Fix some type-class detection |