Sat, 21 Nov 2009 14:29:35 -0500 |
Adam Chlipala |
Send RPCs with POST, to avoid caching |
Sat, 21 Nov 2009 13:50:59 -0500 |
Adam Chlipala |
Deal with bizarre IE6 .innerHTML behavior (which eats some <script> tags) |
Sat, 21 Nov 2009 13:08:01 -0500 |
Adam Chlipala |
Fix for lack of 'apply' method of IE6 native functions |
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, 24 Sep 2009 15:45:37 -0400 |
Adam Chlipala |
Add tail call optimization to interpretation |
Thu, 24 Sep 2009 15:36:44 -0400 |
Adam Chlipala |
Grid1 seems to work in latest Firefox |
Thu, 24 Sep 2009 10:50:23 -0400 |
Adam Chlipala |
Main demo pieces all seem to work with interpretation |