# HG changeset patch
# User wenzelm
# Date 1586703589 -7200
# Node ID f39b1afe88450f34768732550b23b01485d382f5
# Parent  5e810ff0346dbb2c8b3534678f4fefa0fa2193f3
tuned NEWS;

diff -r 5e810ff0346d -r f39b1afe8845 NEWS
--- 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