# HG changeset patch
# User wenzelm
# Date 1444418443 -7200
# Node ID 3907f20bef8cf97c893d9c832690c4714cf0029d
# Parent  c57820ceead37cebb9da348e7be72f7d376c5f0b
NEWS;

diff -r c57820ceead3 -r 3907f20bef8c NEWS
--- a/NEWS	Fri Oct 09 21:16:00 2015 +0200
+++ b/NEWS	Fri Oct 09 21:20:43 2015 +0200
@@ -22,6 +22,10 @@
 * Toplevel theorem statement 'proposition' is another alias for
 'theorem'.
 
+* HTML presentation uses the standard IsabelleText font and Unicode
+rendering of Isabelle symbols like Isabelle/Scala/jEdit.  The former
+print mode "HTML" looses its special meaning.
+
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***