NEWS
authorblanchet
Fri Feb 21 00:18:40 2014 +0100 (2014-02-21)
changeset 5564318fe288f6801
parent 55642 63beb38e9258
child 55644 b657146dc030
child 55645 561754277494
NEWS
NEWS
     1.1 --- a/NEWS	Fri Feb 21 00:09:56 2014 +0100
     1.2 +++ b/NEWS	Fri Feb 21 00:18:40 2014 +0100
     1.3 @@ -128,9 +128,14 @@
     1.4      wrap_free_constructors ~> free_constructors
     1.5    INCOMPATIBILITY.
     1.6  
     1.7 +* Old datatype package:
     1.8 +  * The generated theorems "xxx.cases" and "xxx.recs" have been renamed
     1.9 +    "xxx.case" and "xxx.rec" (e.g., "sum.cases" -> "sum.case").
    1.10 +    INCOMPATIBILITY.
    1.11 +
    1.12  * Old and new (co)datatype packages:
    1.13 -  * Generated constants "xxx_case" and "xxx_rec" have been renamed "case_xxx"
    1.14 -    and "rec_xxx" (e.g., "prod_case" ~> "case_prod").
    1.15 +  * The generated constants "xxx_case" and "xxx_rec" have been renamed
    1.16 +    "case_xxx" and "rec_xxx" (e.g., "prod_case" ~> "case_prod").
    1.17      INCOMPATIBILITY.
    1.18  
    1.19  * The types "'a list" and "'a option", their set and map functions, their