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 ***