Mercurial > urweb

diff src/tutorial.sml @ 1499:92c929793d0f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 @@
                                               | #"{" => "&#123;"
                                               | #"(" => "&#40;"
                                               | #"\n" => "&#40;*NL*)\n"
+                                              | #" " => "&#40;*NL*) "
                                               | ch => str ch) o Substring.string
 
                 val (befor, after) = Substring.position "(* begin " source