log

age author description
Fri, 03 Jul 2015 17:25:56 -0400 Adam Chlipala Fix a maddening bug in the comparator for Core constructors
Thu, 02 Jul 2015 13:02:37 -0400 Adam Chlipala Add HTML 'align' attribute
Thu, 02 Jul 2015 12:42:49 -0400 Adam Chlipala Allow mouse and key events for <body>