Mercurial > urweb

comparison src/tutorial.sml @ 1498:8c32c7191bf0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make 'static' protocol handle unlimited retry
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Jul 2011 18:55:58 -0400
parents 0b639858200b
children 92c929793d0f
comparison
equal deleted inserted replaced
1497:0b639858200b 1498:8c32c7191bf0
77 if Substring.isEmpty after then 77 if Substring.isEmpty after then
78 TextIO.outputSubstr (outf, source) 78 TextIO.outputSubstr (outf, source)
79 else 79 else
80 let 80 let
81 val (befor', after) = Substring.position " </span><span class=\"comment-delimiter\">*)</span>" 81 val (befor', after) = Substring.position " </span><span class=\"comment-delimiter\">*)</span>"
82 (Substring.slice (after, 64, NONE)) 82 (Substring.slice (after, 64, NONE))
83 in 83 in
84 if Substring.isEmpty after then 84 if Substring.isEmpty after then
85 TextIO.outputSubstr (outf, source) 85 TextIO.outputSubstr (outf, source)
86 else 86 else
87 (TextIO.outputSubstr (outf, befor); 87 (TextIO.outputSubstr (outf, befor);