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/thy_syntax.scala
changeset 48718 73e6c22e2d94
parent 48707 ba531af91148
child 48746 9e1b2aafbc7f 
--- a/src/Pure/Thy/thy_syntax.scala	Tue Aug 07 21:38:24 2012 +0200
+++ b/src/Pure/Thy/thy_syntax.scala	Tue Aug 07 22:25:17 2012 +0200
@@ -33,7 +33,7 @@
 
       def buffer(): mutable.ListBuffer[Entry] = new mutable.ListBuffer[Entry]
       var stack: List[(Int, String, mutable.ListBuffer[Entry])] =
-        List((0, "theory " + node_name.theory, buffer()))
+        List((0, node_name.theory, buffer()))
 
       @tailrec def close(level: Int => Boolean)
       {
isabelle