# HG changeset patch
# User wenzelm
# Date 1637928336 -3600
# Node ID 8fe987615ffec9cce7da5bbf4af0fdff0c0fa83b
# Parent  91ee232b42115a65fe64c85cef37c3498aab2487
tuned;

diff -r 91ee232b4211 -r 8fe987615ffe NEWS
--- 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