NEWS

--- a/NEWS	Wed Mar 20 14:05:15 2024 +0100
+++ b/NEWS	Wed Mar 20 16:05:15 2024 +0100
@@ -129,6 +129,8 @@
 * HOL-Analysis: corrected the definition of convex function (convex_on)
 to require the underlying set to be convex. INCOMPATIBILITY.
 
+* HOL-Complex_Analysis: new, more general definition of meromorphicity.
+INCOMPATIBILITY.
 
 *** Pure ***