log

age author description
Sun, 15 May 2011 13:16:58 -0400 Adam Chlipala New release
Thu, 12 May 2011 17:14:13 -0400 Adam Chlipala Escape less-than in JavaScript strings
Fri, 06 May 2011 20:51:40 -0430 Karn Kallio Include type attribute in script tag for generating valid XHTML.
Fri, 06 May 2011 16:24:45 -0430 Karn Kallio Corify Basis.unit to empty record; this is needed so that specialize
Sun, 01 May 2011 00:26:08 -0430 Karn Kallio Fix bug in projection of constructors from modules in class rules.
Tue, 26 Apr 2011 00:11:21 -0430 Karn Kallio Fix for projection of type class constructors in signatures.
Mon, 18 Apr 2011 01:21:48 -0430 Karn Kallio Add two html elements: sup and sub