changeset 50201 | c26369c9eda6 |
parent 48670 | 206144b13849 |
child 50233 | eef21a0726f1 |
--- a/src/Pure/Thy/html.ML Sun Nov 25 18:50:13 2012 +0100 +++ b/src/Pure/Thy/html.ML Sun Nov 25 19:49:24 2012 +0100 @@ -54,7 +54,7 @@ (* symbol output *) local - val hidden = span Isabelle_Markup.hiddenN |-> enclose; + val hidden = span Markup.hiddenN |-> enclose; (* FIXME proper unicode -- produced on Scala side *) val html_syms = Symtab.make