# HG changeset patch
# User wenzelm
# Date 1632304725 -7200
# Node ID cdf8952a86d5e38610baa057eaca52ec233bcb0e
# Parent  f984d30cd0c3726367a714496d47ae2c90e3f792
tuned NEWS;

diff -r f984d30cd0c3 -r cdf8952a86d5 NEWS
--- a/NEWS	Tue Sep 21 20:56:28 2021 +0200
+++ b/NEWS	Wed Sep 22 11:58:45 2021 +0200
@@ -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.