--- a/NEWS Fri Aug 19 21:43:06 2022 +0200
+++ b/NEWS Fri Aug 19 23:58:44 2022 +0200
@@ -194,6 +194,10 @@
*** System ***
+* HTML presentation no longer supports README.html, which was meant as
+add-on to the index.html of a session. Rare INCOMPATIBILITY, consider
+using a separate theory "README" with Isabelle document markup/markdown.
+
* Isabelle/Scala is now based on Scala 3. This is a completely different
compiler ("dotty") and a quite different source language (we are using
the classic Java-style syntax, not the new Python-style syntax).