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.ML
changeset 54457 bfba1352239a
parent 54456 f4b1440d9880
child 55033 8e8243975860 
--- a/src/Pure/Thy/html.ML	Sat Nov 16 21:18:31 2013 +0100
+++ b/src/Pure/Thy/html.ML	Sat Nov 16 21:29:18 2013 +0100
@@ -53,7 +53,6 @@
   (* FIXME proper unicode -- produced on Scala side *)
   val html_syms = Symtab.make
    [("", (0, "")),
-    ("\n", (0, "<br/>")),
     ("'", (1, "&#39;")),
     ("\\<exclamdown>", (1, "&iexcl;")),
     ("\\<cent>", (1, "&cent;")),
isabelle