Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
1498:8c32c7191bf0 | 1499:92c929793d0f |
---|---|
180 val safe = String.translate (fn #"<" => "<" | 180 val safe = String.translate (fn #"<" => "<" |
181 | #"&" => "&" | 181 | #"&" => "&" |
182 | #"{" => "{" | 182 | #"{" => "{" |
183 | #"(" => "(" | 183 | #"(" => "(" |
184 | #"\n" => "(*NL*)\n" | 184 | #"\n" => "(*NL*)\n" |
185 | #" " => "(*NL*) " | |
185 | ch => str ch) o Substring.string | 186 | ch => str ch) o Substring.string |
186 | 187 |
187 val (befor, after) = Substring.position "(* begin " source | 188 val (befor, after) = Substring.position "(* begin " source |
188 | 189 |
189 fun default () = (TextIO.outputSubstr (eval, source); | 190 fun default () = (TextIO.outputSubstr (eval, source); |