NEWS

--- a/NEWS	Fri Jun 14 08:34:27 2019 +0000
+++ b/NEWS	Fri Jun 14 08:34:27 2019 +0000
@@ -1,3 +1,5 @@
+
+
 Isabelle NEWS -- history of user-relevant changes
 =================================================
 
@@ -7,6 +9,12 @@
 New in this Isabelle version
 ----------------------------
 
+*** HOL ***
+
+* ASCII membership syntax concerning big operators for infimum
+and supremum is gone.  INCOMPATIBILITY.
+
+
 
 New in Isabelle2019 (June 2019)
 -------------------------------