more NEWS;
authorwenzelm
Thu, 24 Dec 2020 00:07:51 +0100
changeset 73237 cdcd2785db94
parent 73236 eac16c76273e
child 73238 fc6597d50b4f
child 73239 a562a0f656e8
more NEWS;
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 ***