log

age author description
Thu, 24 Dec 2009 15:49:52 -0500 Adam Chlipala Convenience libifying; allow more NULLs with globals
Thu, 24 Dec 2009 10:59:35 -0500 Adam Chlipala Test for Firebug weirdness
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