--- a/NEWS Mon Oct 26 23:42:01 2015 +0000
+++ b/NEWS Tue Oct 27 15:17:02 2015 +0000
@@ -459,8 +459,8 @@
less_eq_multiset_def
INCOMPATIBILITY
-* Multivariate_Analysis/Cauchy_Integral_Thm: Complex path integrals and Cauchy's
-integral theorem, ported from HOL Light
+* Multivariate_Analysis/Cauchy_Integral_Thm: Complex path integrals, Cauchy's
+integral theorem, winding numbers and Cauchy's integral formula, ported from HOL Light
* Multivariate_Analysis: Added topological concepts such as connected components
and the inside or outside of a set.