# HG changeset patch
# User wenzelm
# Date 1689849886 -7200
# Node ID dba39392d62eb1bd8c2e4804f57c512b36f93771
# Parent  bc62be4144e6d9a747dce6018cc51b6541398956
tuned NEWS: emphasize "isabelle build" add-ons;

diff -r bc62be4144e6 -r dba39392d62e NEWS
--- a/NEWS	Thu Jul 20 12:42:23 2023 +0200
+++ b/NEWS	Thu Jul 20 12:44:46 2023 +0200
@@ -384,10 +384,6 @@
 
 *** System ***
 
-* Isabelle/Scala supports TOML (Tom's Obvious, Minimal Language), which
-aims to be a minimal configuration file format. See also
-https://toml.io/en/v1.0.0
-
 * The command-line tool "isabelle build" now supports option -A to
 include AFP as directory, without selecting any sessions yet.
 
@@ -396,6 +392,18 @@
 "isabelle build". Output is in CSV format, which can be opened by common
 spreadsheet applications (e.g. LibreOffice Calc).
 
+* The command-line tool "isabelle update" is now directly based on
+"isabelle build" instead of "isabelle dump". Thus it has become more
+scalable, and supports most options from "isabelle build". Partial
+builds are supported as well, e.g. "isabelle update -n -a".
+
+* The command-line tool "isabelle log" has been renamed to "isabelle
+build_log", to emphasize its relation to "isabelle build".
+
+* The command-line tool "isabelle build_docker" has been renamed to
+"isabelle docker_build", to emphasize its non-relation to "isabelle
+build".
+
 * System options "context_theory_tracing" and "context_proof_tracing"
 store information about persistent context values (ML types theory,
 local_theory, Proof.context). This may reveal "memory leaks" in
@@ -437,18 +445,6 @@
   isabelle build -o build_thorough -o show_types FOL  # changed
   isabelle build -o build_thorough FOL  # changed
 
-* The command-line tool "isabelle update" is now directly based on
-"isabelle build" instead of "isabelle dump". Thus it has become more
-scalable, and supports most options from "isabelle build". Partial
-builds are supported as well, e.g. "isabelle update -n -a".
-
-* The command-line tool "isabelle log" has been renamed to "isabelle
-build_log", to emphasize its relation to "isabelle build".
-
-* The command-line tool "isabelle build_docker" has been renamed to
-"isabelle docker_build", to emphasize its non-relation to "isabelle
-build".
-
 * System option "build_pide_reports" has been discontinued: it coincides
 with "pide_reports".
 
@@ -487,6 +483,10 @@
 
 * Update to GHC stack 2.9.3 with support for arm64-linux.
 
+* Isabelle/Scala supports TOML (Tom's Obvious, Minimal Language), which
+aims to be a minimal configuration file format. See also
+https://toml.io/en/v1.0.0
+
 
 
 New in Isabelle2022 (October 2022)