log src/monoize.sml

age author description
Sun, 17 May 2009 18:41:43 -0400 Adam Chlipala Redo Jscomp
Sun, 17 May 2009 13:25:57 -0400 Adam Chlipala Corify FFI datatypes properly; eliminate nested JavaScript markers
Sat, 16 May 2009 15:55:15 -0400 Adam Chlipala Mutual datatypes through Pathcheck
Sat, 16 May 2009 15:45:12 -0400 Adam Chlipala Mutual datatypes through Effectize
Sat, 16 May 2009 12:47:01 -0400 Adam Chlipala Catch more unclosed bodyless tags in Monoize
Sat, 16 May 2009 12:41:33 -0400 Adam Chlipala Fix a Core_untangle bug that missed closure variable references; XHTMLize
Thu, 14 May 2009 13:18:31 -0400 Adam Chlipala Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering
Thu, 14 May 2009 09:33:48 -0400 Adam Chlipala cselect
Sun, 03 May 2009 14:57:33 -0400 Adam Chlipala outer demo
Sun, 03 May 2009 12:36:25 -0400 Adam Chlipala css demo
Thu, 30 Apr 2009 17:15:14 -0400 Adam Chlipala C FFI compiler options
Thu, 30 Apr 2009 14:48:23 -0400 Adam Chlipala <input type='hidden'>
Thu, 30 Apr 2009 11:48:56 -0400 Adam Chlipala Subforms type-checks; lists urlified and unurlified
Thu, 30 Apr 2009 11:07:29 -0400 Adam Chlipala Basis.list
Tue, 28 Apr 2009 17:26:53 -0400 Adam Chlipala Subforms