# HG changeset patch
# User wenzelm
# Date 1609934392 -3600
# Node ID 824815ec52aaf2cbebac0f12709ba1e2775b04fc
# Parent  75bd49ba9c28f60b78aa302b5e2e865c6092dec4
more NEWS;

diff -r 75bd49ba9c28 -r 824815ec52aa NEWS
--- a/NEWS	Wed Jan 06 12:43:51 2021 +0100
+++ b/NEWS	Wed Jan 06 12:59:52 2021 +0100
@@ -9,8 +9,10 @@
 
 *** General ***
 
-* HTML presentation includes auxiliary files (e.g. ML) for each theory,
-with rich markup.
+* HTML presentation uses rich markup produced by Isabelle/PIDE,
+resulting in more colors and links.
+
+* HTML presentation includes auxiliary files (e.g. ML) for each theory.
 
 * Proof method "subst" is confined to the original subgoal range: its
 included distinct_subgoals_tac no longer affects unrelated subgoals.