summary |
shortlog |
changelog |
graph |
tags |
branches |
files |
changeset |
file |
revisions |
annotate |
diff |
raw

NEWS

changeset 61520 | 8f85bb443d33 |

parent 61512 | 933463440449 |

child 61529 | 82fc5a6231a2 |

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