# HG changeset patch
# User wenzelm
# Date 1608764871 -3600
# Node ID cdcd2785db94f11d2a15c8ff6446437b7412f343
# Parent  eac16c76273ee27fc764a8d707c1a3198c1fc85e
more NEWS;

diff -r eac16c76273e -r cdcd2785db94 NEWS
--- a/NEWS	Wed Dec 23 23:21:51 2020 +0100
+++ b/NEWS	Thu Dec 24 00:07:51 2020 +0100
@@ -13,6 +13,9 @@
 included distinct_subgoals_tac no longer affects unrelated subgoals.
 Rare INCOMPATIBILITY.
 
+* HTML presentation includes auxiliary files (e.g. ML) for each theory,
+with rich markup.
+
 
 *** Isabelle/jEdit Prover IDE ***