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 50201 c26369c9eda6
parent 49650 9fad6480300d
child 50707 5b2bf7611662 
--- a/src/Pure/Thy/html.scala	Sun Nov 25 18:50:13 2012 +0100
+++ b/src/Pure/Thy/html.scala	Sun Nov 25 19:49:24 2012 +0100
@@ -51,7 +51,7 @@
     XML.Elem(Markup(SPAN, List((STYLE, "font-family: " + font))), List(XML.Text(txt)))
 
   def hidden(txt: String): XML.Elem =
-    span(Isabelle_Markup.HIDDEN, List(XML.Text(txt)))
+    span(Markup.HIDDEN, List(XML.Text(txt)))
 
   def sub(txt: String): XML.Elem = XML.elem("sub", List(XML.Text(txt)))
   def sup(txt: String): XML.Elem = XML.elem("sup", List(XML.Text(txt)))
isabelle