# 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