log src/tag.sml

age author description
2012-01-07 Adam Chlipala First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far)
2011-12-28 Adam Chlipala Get a few more source files up-to-date with change to [tag] type
2011-12-03 Adam Chlipala Don't crash on invalid URL head terms during Tag
2010-12-26 Adam Chlipala queryString and effectfulUrl
2010-06-01 Adam Chlipala Allow complex attribute records in Tag
2009-12-31 Adam Chlipala Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
2009-12-10 Adam Chlipala Bug fixes in redirect-related stuff
2009-12-10 Adam Chlipala Basis.url and redirects
2009-12-08 Adam Chlipala Shake bug fix; pattern reduction in ReduceLocal
2009-11-25 Adam Chlipala Better error message for link-handler conflicts
2009-08-11 Adam Chlipala JavaScript urlifying of bools; correct Link attribute escaping
2009-04-16 Adam Chlipala Label exported symbols by effect-ness; factor out some common datatypes
2009-04-12 Adam Chlipala Classes as optional arguments to Basis.tag
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