Mercurial > urweb
diff src/tutorial.sml @ 1499:92c929793d0f
Preserve tutorial indentation
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 15 Jul 2011 19:00:59 -0400 |
parents | 8c32c7191bf0 |
children | c414850f206f |
line wrap: on
line diff
--- a/src/tutorial.sml Fri Jul 15 18:55:58 2011 -0400 +++ b/src/tutorial.sml Fri Jul 15 19:00:59 2011 -0400 @@ -182,6 +182,7 @@ | #"{" => "{" | #"(" => "(" | #"\n" => "(*NL*)\n" + | #" " => "(*NL*) " | ch => str ch) o Substring.string val (befor, after) = Substring.position "(* begin " source