diff -r 97612262718a -r 8836386d6e3f NEWS
--- a/NEWS	Wed Feb 14 16:25:41 2024 +0100
+++ b/NEWS	Thu Feb 15 08:25:25 2024 +0100
@@ -25,6 +25,9 @@
   by Sledgehammer and should be used instead. For more information, see
   Sledgehammer's documentation relating to "preplay_timeout". INCOMPATIBILITY.
 
+* HOL-Analysis: the syntax of Lebesgue integrals (LINT, LBINT, \<integral>, etc.) now
+  requires parentheses in most cases. INCOMPATIBILITY.
+
 * HOL-Analysis: corrected the definition of convex function (convex_on)
   to require the underlying set to be convex. INCOMPATIBILITY.