--- a/NEWS Wed Apr 08 12:28:42 2020 +0200
+++ b/NEWS Sun Apr 12 16:59:49 2020 +0200
@@ -174,9 +174,9 @@
* Minimal support for a soft-type system within the Isabelle logical
framework (module Soft_Type_System).
-* Former Proof_Context.auto_fixes has been replaced by slightly more
-general Proof_Context.augment: it is subject to an optional soft-type
-system of the underlying object-logic. Minor INCOMPATIBILITY.
+* Former Variable.auto_fixes has been replaced by slightly more general
+Proof_Context.augment: it is subject to an optional soft-type system of
+the underlying object-logic. Minor INCOMPATIBILITY.
* More scalable Export.export using XML.tree to avoid premature string
allocations, with convenient shortcut XML.blob. Minor INCOMPATIBILITY.
@@ -216,6 +216,9 @@
splitting sessions and supporting a base logic image. Minor
INCOMPATIBILITY in options and parameters.
+* The command-line tool "isabelle build_docker" has been slightly
+improved: it is now properly documented in the "system" manual.
+
* Isabelle/Scala support for the Linux platform (Ubuntu): packages,
users, system services.
@@ -1499,9 +1502,6 @@
is analogous to ISABELLE_PLATFORM, ISABELLE_PLATFORM32,
ISABELLE_PLATFORM64.
-* The command-line tool "isabelle build_docker" has been slightly
-improved: it is now properly documented in the "system" manual.
-
* Command-line tool "isabelle build_docker" builds a Docker image from
the Isabelle application bundle for Linux. See also
https://hub.docker.com/r/makarius/isabelle