--- a/NEWS Tue Mar 05 20:20:45 2024 +0100
+++ b/NEWS Tue Mar 05 20:25:02 2024 +0100
@@ -24,6 +24,7 @@
- OCaml / OPAM
- Nunchaku + smbc (experimental)
+
*** Document preparation ***
* The bundled LaTeX LNCS style has been updated to version 2.23
@@ -46,12 +47,6 @@
information, see Sledgehammer's documentation relating to
"preplay_timeout". INCOMPATIBILITY.
-* HOL-Analysis: the syntax of Lebesgue integrals (LINT, LBINT, \<integral>, etc.)
-now requires parentheses in most cases. INCOMPATIBILITY.
-
-* HOL-Analysis: corrected the definition of convex function (convex_on)
-to require the underlying set to be convex. INCOMPATIBILITY.
-
* Explicit type class for discrete_linear_ordered_semidom for integral
semidomains with a discrete linear order.
@@ -84,6 +79,12 @@
trans_on_mult
transp_on_multp
+* HOL-Analysis: the syntax of Lebesgue integrals (LINT, LBINT, \<integral>, etc.)
+now requires parentheses in most cases. INCOMPATIBILITY.
+
+* HOL-Analysis: corrected the definition of convex function (convex_on)
+to require the underlying set to be convex. INCOMPATIBILITY.
+
*** Pure ***
@@ -174,17 +175,17 @@
3.3, instead of 3.1. This is the "-old-syntax" variant (Java-like) as
before, not "-new-syntax" (Python-like). Minor INCOMPATIBILITY.
+* Isabelle/Scala supports mailing via SMTP, based on new system
+component javamail (previously javax.mail) from jakarta 2.1.2
+using eclipse angus 2.0.2/2.0.1.
+
+* Update to GHC stack 2.15.1 with support for all platforms, including
+ARM Linux and Apple Silicon.
+
* Update to official Poly/ML 5.9.1.
* Update to OpenJDK 21: the current long-term support version of Java.
-* Update to GHC stack 2.15.1 with support for all platforms, including
-ARM Linux and Apple Silicon.
-
-* Isabelle/Scala supports mailing via SMTP, based on new system
-component javamail (previously javax.mail) from jakarta 2.1.2
-using eclipse angus 2.0.2/2.0.1.
-
New in Isabelle2023 (September 2023)