NEWS
changeset 56996 891e992e510f
parent 56993 e5366291d6aa
child 57020 f7cf92543e6c
     1.1 --- a/NEWS	Mon May 19 13:53:58 2014 +0200
     1.2 +++ b/NEWS	Mon May 19 14:26:58 2014 +0200
     1.3 @@ -733,6 +733,13 @@
     1.4      integral_cmul_indicator
     1.5      integral_real
     1.6  
     1.7 +  - Renamed positive_integral to nn_integral:
     1.8 +
     1.9 +    * Renamed all lemmas "*positive_integral*" to *nn_integral*"
    1.10 +      positive_integral_positive ~> nn_integral_nonneg
    1.11 +
    1.12 +    * Renamed abbreviation integral\<^sup>P to integral\<^sup>N.
    1.13 +
    1.14  *** Scala ***
    1.15  
    1.16  * The signature and semantics of Document.Snapshot.cumulate_markup /