# HG changeset patch
# User desharna
# Date 1632313940 -7200
# Node ID 783382bbd2b9a4dec693b3dc54159d77785f9e7b
# Parent  fb8ce60904375d5026ba30c6572363ef2f4dc097# Parent  4974c3697fee0e63f9f56e09fab92a019db45579
merged

diff -r fb8ce6090437 -r 783382bbd2b9 NEWS
--- a/NEWS	Wed Sep 22 12:41:40 2021 +0200
+++ b/NEWS	Wed Sep 22 14:32:20 2021 +0200
@@ -20,7 +20,7 @@
 in interactive mode, but it could occasionally cause unnecessary
 slowdown. It can be disabled like this:
 
-  context notes [[show_results = true]]
+  context notes [[show_results = false]]
   begin
     definition "test = True"
     theorem test by (simp add: test_def)
@@ -137,7 +137,7 @@
 * Theory HOL-Library.Lattice_Syntax has been superseded by bundle
 "lattice_syntax": it can be used in a local context via 'include' or in
 a global theory via 'unbundle'. The opposite declarations are bundled as
-"no_lattice_syntax".
+"no_lattice_syntax". Minor INCOMPATIBILITY.
 
 * Theory "HOL-Library.Multiset": dedicated predicate "multiset" is gone,
 use explict expression instead. Minor INCOMPATIBILITY.