Sun, 13 Dec 2009 14:20:41 -0500 |
Adam Chlipala |
Initializers and setval |
Sun, 13 Dec 2009 13:00:55 -0500 |
Adam Chlipala |
Weakening-type coercions for SQL values |
Sun, 13 Dec 2009 11:28:47 -0500 |
Adam Chlipala |
Better record summary error messages; more tweaking SQL usability |
Sun, 13 Dec 2009 10:13:06 -0500 |
Adam Chlipala |
Tweaking SQL parsing and typing |
Thu, 10 Dec 2009 15:46:07 -0500 |
Adam Chlipala |
Bug fixes in redirect-related stuff |
Thu, 10 Dec 2009 13:32:09 -0500 |
Adam Chlipala |
Basis.url and redirects |
Thu, 26 Nov 2009 14:20:00 -0500 |
Adam Chlipala |
More fun with cookies |
Tue, 24 Nov 2009 09:48:28 -0500 |
Adam Chlipala |
New release |
Tue, 24 Nov 2009 09:24:25 -0500 |
Adam Chlipala |
Explicitly abort in-flight RPCs onunload |
Mon, 02 Nov 2009 11:37:41 -0500 |
Adam Chlipala |
Switch Monoize back to POST forms |
Sun, 01 Nov 2009 14:26:20 -0500 |
Adam Chlipala |
Initial form for paper assignment |
Sun, 25 Oct 2009 15:29:21 -0400 |
Adam Chlipala |
Use call/cc for recv and sleep |
Sun, 25 Oct 2009 14:07:10 -0400 |
Adam Chlipala |
RPC uses VM support for call/cc |
Thu, 22 Oct 2009 17:36:30 -0400 |
Adam Chlipala |
Chars working with SQLite |
Thu, 22 Oct 2009 16:15:56 -0400 |
Adam Chlipala |
Initial support for char in SQL |
Tue, 06 Oct 2009 15:39:27 -0400 |
Adam Chlipala |
SELECT DISTINCT; eta expansion during Cjrization |
Mon, 05 Oct 2009 12:51:17 -0400 |
Adam Chlipala |
Mangle local table names to avoid keyword clashes in SQL |
Sat, 26 Sep 2009 12:45:19 -0400 |
Adam Chlipala |
Whitelisting tags that may be self-closed |
Thu, 24 Sep 2009 12:26:30 -0400 |
Adam Chlipala |
Fix sel() generation bug |
Tue, 22 Sep 2009 17:12:20 -0400 |
Adam Chlipala |
demo/react works with interpretation |
Tue, 22 Sep 2009 12:23:21 -0400 |
Adam Chlipala |
Hopefully complete refactoring of Jscomp to output ASTs; partial implementation of interpreter in runtime system (demo/alert works) |
Sat, 19 Sep 2009 13:32:33 -0400 |
Adam Chlipala |
Grid sorting working |
Thu, 17 Sep 2009 17:11:23 -0400 |
Adam Chlipala |
tail example working |
Thu, 17 Sep 2009 16:35:11 -0400 |
Adam Chlipala |
Basic tail recursion introduction seems to be working |
Sat, 12 Sep 2009 10:03:12 -0400 |
Adam Chlipala |
Prevent event bubbling |
Tue, 08 Sep 2009 10:18:19 -0400 |
Adam Chlipala |
dragList almost kinda works |
Tue, 25 Aug 2009 13:57:56 -0400 |
Adam Chlipala |
grid1 compiles but gets stuck in JS |
Sat, 22 Aug 2009 12:55:18 -0400 |
Adam Chlipala |
Convert to requiring explicit 'rpc' marker |
Tue, 11 Aug 2009 12:01:54 -0400 |
Adam Chlipala |
JavaScript urlifying of bools; correct Link attribute escaping |
Sun, 09 Aug 2009 16:13:27 -0400 |
Adam Chlipala |
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference |
Thu, 06 Aug 2009 14:57:44 -0400 |
Adam Chlipala |
<dyn> inside <tr> |
Thu, 06 Aug 2009 14:24:40 -0400 |
Adam Chlipala |
dlist row add working with Konqueror |