log

age author description
Sat, 16 May 2009 16:59:24 -0400 Adam Chlipala Fix initialization of cselect from source
Sat, 16 May 2009 16:37:48 -0400 Adam Chlipala Fix another problem with overwrites during JavaScript pattern matching
Sat, 16 May 2009 16:02:17 -0400 Adam Chlipala Mutual datatypes through Cjrize
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 15:22:05 -0400 Adam Chlipala Mutual datatypes through Corify
Sat, 16 May 2009 15:14:17 -0400 Adam Chlipala Mutual datatypes through Elaborate
Sat, 16 May 2009 13:10:52 -0400 Adam Chlipala Add extra XML preamble nonsense
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 18:13:09 -0400 Adam Chlipala Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable indexes for nested JavaScript in jscomp
Thu, 14 May 2009 13:18:31 -0400 Adam Chlipala Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering
Thu, 14 May 2009 11:04:56 -0400 Adam Chlipala cselect.onchange
Thu, 14 May 2009 10:31:11 -0400 Adam Chlipala Improvements while working on Graftid
Thu, 14 May 2009 09:33:48 -0400 Adam Chlipala cselect
Thu, 14 May 2009 09:11:58 -0400 Adam Chlipala Fix a nasty binding bug in CoreUtil
Thu, 14 May 2009 08:15:36 -0400 Adam Chlipala Testing custom paths
Thu, 14 May 2009 08:13:54 -0400 Adam Chlipala Improving/reordering Unpoly and Especialize; pathmaps
Tue, 12 May 2009 20:15:11 -0400 Adam Chlipala Stop potential buffer overrun of path_copy
Tue, 12 May 2009 18:02:25 -0400 Adam Chlipala Improvements while working on Graftid
Sun, 10 May 2009 10:13:41 -0400 Adam Chlipala Use Ur/Web library .mlb
Tue, 05 May 2009 14:47:11 -0400 Adam Chlipala Tag CHANGELOG with release date
Tue, 05 May 2009 14:45:21 -0400 Adam Chlipala Describe GET/POST
Tue, 05 May 2009 14:36:16 -0400 Adam Chlipala Constraint syntax
Tue, 05 May 2009 14:15:55 -0400 Adam Chlipala on* handlers
Tue, 05 May 2009 13:21:26 -0400 Adam Chlipala Revised query types
Tue, 05 May 2009 12:49:16 -0400 Adam Chlipala Table constraint Ur code
Tue, 05 May 2009 11:59:50 -0400 Adam Chlipala Revising manual through end of Section 6
Tue, 05 May 2009 11:45:03 -0400 Adam Chlipala Revising manual through end of Section 3
Tue, 05 May 2009 10:23:16 -0400 Adam Chlipala Make Effectize more precise