NEWS
changeset 57094 589ec121ce1a
parent 57091 1fa9c19ba2c9
child 57112 70395c65c0e3
     1.1 --- a/NEWS	Mon May 26 16:58:38 2014 +0200
     1.2 +++ b/NEWS	Tue May 27 17:32:42 2014 +0200
     1.3 @@ -319,6 +319,10 @@
     1.4    * No discriminators are generated for nullary constructors by default,
     1.5      eliminating the need for the odd "=:" syntax.
     1.6      INCOMPATIBILITY.
     1.7 +  * No discriminators or selectors are generated by default by
     1.8 +    "datatype_new", unless custom names are specified or the new
     1.9 +    "discs_sels" option is passed.
    1.10 +    INCOMPATIBILITY.
    1.11  
    1.12  * Old datatype package:
    1.13    * The generated theorems "xxx.cases" and "xxx.recs" have been renamed