| Tue, 09 Feb 2010 17:00:31 -0500 |
Adam Chlipala |
Set additional request headers for POST RPCs |
| Sat, 02 Jan 2010 14:54:15 -0500 |
Adam Chlipala |
JavaScript urlification; more lenient export pattern in Corify; only include scripts in pages that use JavaScript |
| Fri, 01 Jan 2010 10:49:36 -0500 |
Adam Chlipala |
Proper client-side attrifyString |
| Tue, 29 Dec 2009 13:34:03 -0500 |
Adam Chlipala |
ctextarea; s/header/include in the manual |
| Fri, 25 Dec 2009 09:24:21 -0500 |
Adam Chlipala |
Alter JavaScript lastParent() to play nice with Firebug |
| Thu, 24 Dec 2009 10:44:53 -0500 |
Adam Chlipala |
Proper JavaScript-side URI escaping/de-escaping; fix C-side URL encoding of big characters |
| 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 |
