# HG changeset patch
# User wenzelm
# Date 1661082350 -7200
# Node ID 3c25aecfa3745499ff50935cc87343963ac73fff
# Parent  b09dab301d72a00df1a42926499df3a260ef2181
tuned;

diff -r b09dab301d72 -r 3c25aecfa374 NEWS
--- 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).