| Tue, 08 Dec 2009 10:46:50 -0500 |
Adam Chlipala |
Context globals; ctype functions |
| Sat, 05 Dec 2009 14:01:34 -0500 |
Adam Chlipala |
Represent FFI function names as strings, to deal with cross-file recursion |
| Tue, 24 Nov 2009 09:24:25 -0500 |
Adam Chlipala |
Explicitly abort in-flight RPCs onunload |
| Sun, 22 Nov 2009 17:57:15 -0500 |
Adam Chlipala |
Proper initial values of dynamic checkboxes in IE |
| Sun, 22 Nov 2009 16:40:09 -0500 |
Adam Chlipala |
Get dynamic <select> working in IE |
| Sun, 22 Nov 2009 15:30:15 -0500 |
Adam Chlipala |
grid0 working in IE |
| Sat, 21 Nov 2009 15:48:08 -0500 |
Adam Chlipala |
Get message-passing working in IE6 |
| 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 |
