src/Pure/Thy/html.ML

   val hidden = span Markup.hiddenN |-> enclose;
 
   (* FIXME proper unicode -- produced on Scala side *)
   val html_syms = Symtab.make
    [("", (0, "")),
-    ("\n", (0, "<br/>")),
     ("'", (1, "&#39;")),
     ("\\<exclamdown>", (1, "&iexcl;")),
     ("\\<cent>", (1, "&cent;")),
     ("\\<pounds>", (1, "&pound;")),
     ("\\<currency>", (1, "&curren;")),