# HG changeset patch
# User wenzelm
# Date 1709666702 -3600
# Node ID 6fadff9e849a1ef3309df359fd6e383b9993977d
# Parent  ece213b90d0f72076c40810c11020936c59bb57a
misc tuning for release;

diff -r ece213b90d0f -r 6fadff9e849a NEWS
--- 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)