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