summaryrefslogtreecommitdiff
path: root/src/tutorial.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-07-15 19:00:59 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-07-15 19:00:59 -0400
commitc954ed92f02b8947a4ff636ff10a49c3d6fb4519 (patch)
tree71d76fa0fac221faef1b3db5c749fdb0489b20f2 /src/tutorial.sml
parent4b54ea891652138a8d58399bbbfdbb852b70eabd (diff)
Preserve tutorial indentation
Diffstat (limited to 'src/tutorial.sml')
-rw-r--r--src/tutorial.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tutorial.sml b/src/tutorial.sml
index 8d60ed11..605b1f5e 100644
--- a/src/tutorial.sml
+++ b/src/tutorial.sml
@@ -182,6 +182,7 @@ fun doUr fname =
| #"{" => "&#123;"
| #"(" => "&#40;"
| #"\n" => "&#40;*NL*)\n"
+ | #" " => "&#40;*NL*) "
| ch => str ch) o Substring.string
val (befor, after) = Substring.position "(* begin " source