Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/html.scala
changeset 43675 8252d51d70e2
parent 43661 39fdbd814c7f
child 43695 5130dfe1b7be 
--- a/src/Pure/Thy/html.scala	Tue Jul 05 22:43:18 2011 +0200
+++ b/src/Pure/Thy/html.scala	Tue Jul 05 23:18:14 2011 +0200
@@ -80,7 +80,7 @@
             flush()
             ts += elem
           }
-          val syms = Symbol.iterator_string(txt)
+          val syms = Symbol.iterator(txt)
           while (syms.hasNext) {
             val s1 = syms.next
             def s2() = if (syms.hasNext) syms.next else ""
isabelle