diff -r bfc0bb115fa1 -r 39fdbd814c7f src/Pure/Thy/html.scala
--- a/src/Pure/Thy/html.scala	Mon Jul 04 20:18:19 2011 +0200
+++ b/src/Pure/Thy/html.scala	Mon Jul 04 22:11:32 2011 +0200
@@ -55,9 +55,10 @@
   def sup(txt: String): XML.Elem = XML.elem("sup", List(XML.Text(txt)))
   def bold(txt: String): XML.Elem = span("bold", List(XML.Text(txt)))
 
-  def spans(symbols: Symbol.Interpretation,
-    input: XML.Tree, original_data: Boolean = false): XML.Body =
+  def spans(input: XML.Tree, original_data: Boolean = false): XML.Body =
   {
+    val symbols = Isabelle_System.symbols
+
     def html_spans(tree: XML.Tree): XML.Body =
       tree match {
         case XML.Elem(m @ Markup(name, props), ts) =>