Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
simplified HTML linefeed (again, see 041dc6d8d344);
authorwenzelm
Sat, 16 Nov 2013 21:29:18 +0100
changeset 54457 bfba1352239a
parent 54456 f4b1440d9880
child 54458 96ccc8972fc7
simplified HTML linefeed (again, see 041dc6d8d344);
src/Pure/Thy/html.ML file | annotate | diff | comparison | revisions 
--- 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