NEWS
changeset 62064 d9874039786e
parent 62060 b75764fc4c35
child 62075 ea3360245939
     1.1 --- a/NEWS	Tue Jan 05 15:45:29 2016 +0100
     1.2 +++ b/NEWS	Tue Jan 05 15:53:17 2016 +0100
     1.3 @@ -642,7 +642,8 @@
     1.4  * Library/Old_Recdef: discontinued obsolete 'defer_recdef' command.
     1.5  Minor INCOMPATIBILITY, use 'function' instead.
     1.6  
     1.7 -* Library/Periodic_Fun: a locale that provides convenient lemmas for periodic functions
     1.8 +* Library/Periodic_Fun: a locale that provides convenient lemmas for
     1.9 +periodic functions.
    1.10  
    1.11  * Multivariate_Analysis/Cauchy_Integral_Thm: Contour integrals (=
    1.12  complex path integrals), Cauchy's integral theorem, winding numbers and
    1.13 @@ -653,9 +654,10 @@
    1.14  components, homotopic paths and the inside or outside of a set.
    1.15  
    1.16  * Multivariate_Analysis: radius of convergence of power series and 
    1.17 -  various summability tests; Harmonic numbers and the Euler–Mascheroni constant;
    1.18 -  the Generalised Binomial Theorem; the complex and real Gamma/log-Gamma/Digamma/
    1.19 -  Polygamma functions and their most important properties;
    1.20 +various summability tests; Harmonic numbers and the Euler–Mascheroni
    1.21 +constant; the Generalised Binomial Theorem; the complex and real
    1.22 +Gamma/log-Gamma/Digamma/ Polygamma functions and their most important
    1.23 +properties.
    1.24  
    1.25  * Data_Structures: new and growing session of standard data structures.
    1.26