NEWS
changeset 58310 91ea607a34d8
parent 58247 98d0f85d247f
child 58321 44692d31a399
     1.1 --- a/NEWS	Thu Sep 11 19:26:59 2014 +0200
     1.2 +++ b/NEWS	Thu Sep 11 19:32:36 2014 +0200
     1.3 @@ -28,6 +28,9 @@
     1.4  Minor INCOMPATIBILITY.
     1.5  
     1.6  * New (co)datatype package:
     1.7 +  - The 'datatype_new' command has been renamed 'datatype'. The old command of
     1.8 +    that name is now called 'old_datatype'. See 'isabelle doc datatypes' for
     1.9 +    information on porting.
    1.10    - Renamed theorems:
    1.11        disc_corec ~> corec_disc
    1.12        disc_corec_iff ~> corec_disc_iff
    1.13 @@ -58,6 +61,9 @@
    1.14      INCOMPATIBILITY.
    1.15  
    1.16  * Old datatype package:
    1.17 +  - The old 'datatype' command has been renamed 'old_datatype', and
    1.18 +    'rep_datatype' has been renamed 'old_rep_datatype'. See
    1.19 +    'isabelle doc datatypes' for information on porting.
    1.20    - Renamed theorems:
    1.21        weak_case_cong ~> case_cong_weak
    1.22      INCOMPATIBILITY.