Sun, 12 Apr 2009 14:19:15 -0400 |
Adam Chlipala |
Classes as optional arguments to Basis.tag |
Thu, 09 Apr 2009 16:36:50 -0400 |
Adam Chlipala |
URLs |
Sat, 04 Apr 2009 15:56:47 -0400 |
Adam Chlipala |
sleep and better Scriptcheck |
Sat, 04 Apr 2009 14:55:36 -0400 |
Adam Chlipala |
spawn |
Sat, 04 Apr 2009 14:03:39 -0400 |
Adam Chlipala |
_Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned |
Thu, 02 Apr 2009 11:42:26 -0400 |
Adam Chlipala |
On start-up, delete/nullify rows mentioning clients or channels |
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 |
Tue, 24 Mar 2009 14:44:45 -0400 |
Adam Chlipala |
Transactionalize channel operations |
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 13:57:09 -0400 |
Adam Chlipala |
Increment demo |
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 |
Tue, 30 Dec 2008 10:49:42 -0500 |
Adam Chlipala |
Setting a source server-side |
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 09:35:44 -0500 |
Adam Chlipala |
Add initial C support for reactive |
Tue, 11 Nov 2008 19:20:37 -0500 |
Adam Chlipala |
Add CutMulti |
Tue, 11 Nov 2008 15:12:24 -0500 |
Adam Chlipala |
Get preliminary ThreadedBlog working |
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:08:41 -0500 |
Adam Chlipala |
Reading cookies works |
Thu, 06 Nov 2008 11:29:16 -0500 |
Adam Chlipala |
Setting a cookie |
Thu, 06 Nov 2008 10:04:03 -0500 |
Adam Chlipala |
Avoid allocating strings for requestHeader |
Thu, 06 Nov 2008 09:47:16 -0500 |
Adam Chlipala |
Request header reading works |
Thu, 30 Oct 2008 15:11:37 -0400 |
Adam Chlipala |
Marshaling time to SQL |
Thu, 30 Oct 2008 14:36:48 -0400 |
Adam Chlipala |
time type |