Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1498:8c32c7191bf0 1499:92c929793d0f
180 val safe = String.translate (fn #"<" => "&lt;" 180 val safe = String.translate (fn #"<" => "&lt;"
181 | #"&" => "&amp;" 181 | #"&" => "&amp;"
182 | #"{" => "&#123;" 182 | #"{" => "&#123;"
183 | #"(" => "&#40;" 183 | #"(" => "&#40;"
184 | #"\n" => "&#40;*NL*)\n" 184 | #"\n" => "&#40;*NL*)\n"
185 | #" " => "&#40;*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);