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
2008-10-16 Adam Chlipala Proper indenting of normal ML-y code after </xml>
2008-10-12 Adam Chlipala Customized font faces
2008-10-12 Adam Chlipala First sort-of-working run of urweb-mode