summaryrefslogtreecommitdiff
path: root/src/elisp/urweb-defs.el
Commit message (Expand)AuthorAge
* Pushing policies throughGravatar Adam Chlipala2010-04-04
* Convert to task syntaxGravatar Adam Chlipala2009-12-15
* Initializers and setvalGravatar Adam Chlipala2009-12-13
* "Hello world" compiles, after replacing type-level fold with mapGravatar Adam Chlipala2009-02-21
* Cookies through elaborateGravatar Adam Chlipala2008-11-06
* Parsing 'let'Gravatar Adam Chlipala2008-11-01
* sml-util -> urweb-utilGravatar Adam Chlipala2008-10-23
* Proper indenting of normal ML-y code after </xml>Gravatar Adam Chlipala2008-10-16
* Customized font facesGravatar Adam Chlipala2008-10-12
* First sort-of-working run of urweb-modeGravatar Adam Chlipala2008-10-12