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