Mercurial > urweb
log src/elisp/urweb-defs.el
age | author | description |
---|---|---|
Sat, 21 Feb 2009 15:33:20 -0500 | Adam Chlipala | "Hello world" compiles, after replacing type-level fold with map |
Thu, 06 Nov 2008 10:29:55 -0500 | Adam Chlipala | Cookies through elaborate |
Sat, 01 Nov 2008 10:47:10 -0400 | Adam Chlipala | Parsing 'let' |
Thu, 23 Oct 2008 11:13:11 -0400 | Adam Chlipala | sml-util -> urweb-util |
Thu, 16 Oct 2008 13:17:09 -0400 | Adam Chlipala | Proper indenting of normal ML-y code after </xml> |
Sun, 12 Oct 2008 10:22:50 -0400 | Adam Chlipala | Customized font faces |