Mercurial > urweb
log src/tutorial.sml
age | author | description |
---|---|---|
2011-07-15 | Adam Chlipala | Preserve tutorial indentation |
2011-07-15 | Adam Chlipala | Make 'static' protocol handle unlimited retry |
2011-07-15 | Adam Chlipala | Tutorial tweaks |
2011-07-15 | Adam Chlipala | Tutorial section headings |
2011-07-15 | Adam Chlipala | Allow HTML in tutorial comments |
2011-07-15 | Adam Chlipala | Beautified tutorial HTML |
2011-07-15 | Adam Chlipala | Generated pretty-printed HTML for a simple tutorial source file |