log

age author description
Fri, 25 Dec 2009 10:48:02 -0500 Adam Chlipala Catch attempts to mention multiple versions of the same rooted module
Fri, 25 Dec 2009 09:24:21 -0500 Adam Chlipala Alter JavaScript lastParent() to play nice with Firebug
Thu, 24 Dec 2009 16:35:09 -0500 Adam Chlipala Module roots
Thu, 24 Dec 2009 15:49:52 -0500 Adam Chlipala Convenience libifying; allow more NULLs with globals