Tue, 08 Dec 2009 12:06:41 -0500 |
Adam Chlipala |
Convert ctype is*() function results to booleans |
Tue, 08 Dec 2009 10:46:50 -0500 |
Adam Chlipala |
Context globals; ctype functions |
Tue, 08 Dec 2009 08:48:29 -0500 |
Adam Chlipala |
Move to simpler HTML escaping |
Thu, 03 Dec 2009 11:56:15 -0500 |
Adam Chlipala |
Merge |
Thu, 03 Dec 2009 11:50:51 -0500 |
Adam Chlipala |
UTF-8 in dynamic escaping |
Fri, 27 Nov 2009 09:12:46 -0500 |
Adam Chlipala |
Fix handling of clearCookie/getCookie in same page gen |
Thu, 26 Nov 2009 14:58:03 -0500 |
Adam Chlipala |
Port rest of demo to new cookie signature; fix parsing of multiple incoming cookies |
Thu, 26 Nov 2009 14:20:00 -0500 |
Adam Chlipala |
More fun with cookies |
Tue, 24 Nov 2009 09:24:25 -0500 |
Adam Chlipala |
Explicitly abort in-flight RPCs onunload |
Sat, 21 Nov 2009 15:48:08 -0500 |
Adam Chlipala |
Get message-passing working in IE6 |
Mon, 02 Nov 2009 14:11:08 -0500 |
Adam Chlipala |
Saving paper assignments |
Sun, 01 Nov 2009 14:26:20 -0500 |
Adam Chlipala |
Initial form for paper assignment |
Sun, 01 Nov 2009 10:20:20 -0500 |
Adam Chlipala |
Bidding interface |
Thu, 22 Oct 2009 16:15:56 -0400 |
Adam Chlipala |
Initial support for char in SQL |
Thu, 22 Oct 2009 11:15:37 -0400 |
Adam Chlipala |
Checking deadline; sign-in |
Tue, 06 Oct 2009 17:36:45 -0400 |
Adam Chlipala |
Versioned1 demo working |
Tue, 06 Oct 2009 15:59:11 -0400 |
Adam Chlipala |
Initial versioned1 demo working |
Tue, 22 Sep 2009 13:27:47 -0400 |
Adam Chlipala |
Functions working 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) |
Fri, 18 Sep 2009 19:30:09 -0400 |
Adam Chlipala |
Fix C substring implementation |
Tue, 15 Sep 2009 10:50:49 -0400 |
Adam Chlipala |
Fix Postgres timestamp round-tripping |
Sat, 12 Sep 2009 10:31:34 -0400 |
Adam Chlipala |
Debugging new string urlification |
Sat, 12 Sep 2009 09:31:50 -0400 |
Adam Chlipala |
Change string URLification to avoid using the empty string, which confuses Apache no2slash() |
Wed, 09 Sep 2009 08:15:46 -0400 |
Adam Chlipala |
Find chances to use mstrcat() |
Wed, 09 Sep 2009 08:00:45 -0400 |
Adam Chlipala |
Don't replace <sc> in blob returns; optimize more 'option' pattern matches; detect more opportunities for 'let' inlining |
Tue, 08 Sep 2009 10:55:49 -0400 |
Adam Chlipala |
dragList demo working, save for Gecko load delay and highlighting |
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 |
Fri, 17 Jul 2009 16:29:36 -0400 |
Adam Chlipala |
demo/sql works with SQLite |
Thu, 16 Jul 2009 18:10:29 -0400 |
Adam Chlipala |
Demo working with MySQL |