--- a/NEWS Fri Aug 19 05:49:17 2022 +0000
+++ b/NEWS Sat Aug 20 21:34:55 2022 +0200
@@ -202,6 +202,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).