--- a/NEWS Thu Nov 25 21:31:50 2021 +0100
+++ b/NEWS Fri Nov 26 13:05:36 2021 +0100
@@ -208,6 +208,10 @@
min.absorb4, max.absorb1, max.absorb2, max.absorb3, max.absorb4. Minor
INCOMPATIBILITY.
+* Nitpick: External solver "MiniSat" is available for all supported
+Isabelle platforms (including 64bit Windows and ARM); while
+"MiniSat_JNI" only works for Intel Linux and macOS.
+
* Nitpick/Kodkod: default is back to external Java process (option
kodkod_scala = false), both for PIDE and batch builds. This reduces
confusion and increases robustness of timeouts, despite substantial
@@ -242,10 +246,6 @@
version 2.4 (release 20200713). The new version fixes one
implementation defect. Very slight INCOMPATIBILITY.
-* Nitpick: External solver "MiniSat" is available for all supported
-Isabelle platforms (including 64bit Windows and ARM); while
-"MiniSat_JNI" only works for Intel Linux and macOS.
-
* Theory HOL-Library.Lattice_Syntax has been superseded by bundle
"lattice_syntax": it can be used in a local context via 'include' or in
a global theory via 'unbundle'. The opposite declarations are bundled as