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