# HG changeset patch
# User wenzelm
# Date 1384633758 -3600
# Node ID bfba1352239a0a94bcea1ada4410c87cc31e08ec
# Parent  f4b1440d9880232d6cd87e5b25059caa4974e99e
simplified HTML linefeed (again, see 041dc6d8d344);

diff -r f4b1440d9880 -r bfba1352239a src/Pure/Thy/html.ML
--- 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;")),