log src/elisp/urweb-defs.el

age author description
2010-04-04 Adam Chlipala Pushing policies through
2009-12-15 Adam Chlipala Convert to task syntax
2009-12-13 Adam Chlipala Initializers and setval
2009-02-21 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
2008-11-06 Adam Chlipala Cookies through elaborate
2008-11-01 Adam Chlipala Parsing 'let'
2008-10-23 Adam Chlipala sml-util -> urweb-util