Commit message (Expand) | Author | Age | |
---|---|---|---|
* | HTTP Last-Modified: latest modtime of source files | Jacob Mitchell | 2016-09-07 |
* | Update tutorial for Ur/Web changes | Adam Chlipala | 2012-09-03 |
* | Add support for -boot flag, which allows in-tree execution of Ur/Web | Edward Z. Yang | 2012-05-02 |
* | Preserve tutorial indentation | Adam Chlipala | 2011-07-15 |
* | Make 'static' protocol handle unlimited retry | Adam Chlipala | 2011-07-15 |
* | Tutorial tweaks | Adam Chlipala | 2011-07-15 |
* | Tutorial section headings | Adam Chlipala | 2011-07-15 |
* | Allow HTML in tutorial comments | Adam Chlipala | 2011-07-15 |
* | Beautified tutorial HTML | Adam Chlipala | 2011-07-15 |
* | Generated pretty-printed HTML for a simple tutorial source file | Adam Chlipala | 2011-07-15 |