log src/tag.sml

age author description
2008-11-11 Adam Chlipala Handle nullary transaction pages; avoid marking up headers array when reading cookies
2008-11-09 Adam Chlipala Especialize working reasonably well; need to add new closure representation pass
2008-09-02 Adam Chlipala Compiling a parametrized query the inefficient way
2008-08-03 Adam Chlipala Cases through monoize
2008-07-29 Adam Chlipala Datatypes through corify
2008-07-22 Adam Chlipala Simple forms work
2008-07-20 Adam Chlipala Almost ready to have a form work
2008-07-20 Adam Chlipala A simpler context encoding
2008-07-17 Adam Chlipala Tagging (non-mutual) 'val rec'
2008-07-17 Adam Chlipala Corifying (non-mutual) 'val rec'
2008-07-13 Adam Chlipala Proper handling of non-function-call links
2008-07-13 Adam Chlipala Serving pages
2008-07-13 Adam Chlipala Handling duplicate tags
2008-07-13 Adam Chlipala Closure code generation almost there
2008-07-13 Adam Chlipala Starting with closure links