--- a/NEWS Sun Aug 21 13:44:39 2022 +0200
+++ b/NEWS Sun Aug 21 13:45:50 2022 +0200
@@ -32,6 +32,13 @@
--app="$(isabelle getenv -b ISABELLE_HOME)"/src/Tools/Electron/test
+*** HTML/PDF presentation ***
+
+* 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.
+
+
*** HOL ***
* Moved auxiliary computation constant "divmod_nat" to theory
@@ -205,10 +212,6 @@
*** 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).