Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Treat "style" as starting an expression in urweb-mode | Julian Squires | 2015-05-05 |
* | Pushing policies through | Adam Chlipala | 2010-04-04 |
* | Convert to task syntax | Adam Chlipala | 2009-12-15 |
* | Initializers and setval | Adam Chlipala | 2009-12-13 |
* | "Hello world" compiles, after replacing type-level fold with map | Adam Chlipala | 2009-02-21 |
* | Cookies through elaborate | Adam Chlipala | 2008-11-06 |
* | Parsing 'let' | Adam Chlipala | 2008-11-01 |
* | sml-util -> urweb-util | Adam Chlipala | 2008-10-23 |
* | Proper indenting of normal ML-y code after </xml> | Adam Chlipala | 2008-10-16 |
* | Customized font faces | Adam Chlipala | 2008-10-12 |
* | First sort-of-working run of urweb-mode | Adam Chlipala | 2008-10-12 |