Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
[mq]: news
authorblanchet
Wed, 12 Feb 2014 10:20:31 +0100
changeset 55425 7a3e78ee813b
parent 55424 9ab4129a76a3
child 55428 0ab52bf7b5e6
[mq]: news
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Feb 12 08:37:28 2014 +0100
+++ b/NEWS	Wed Feb 12 10:20:31 2014 +0100
@@ -122,6 +122,11 @@
     BNF/BNF.thy
     BNF/Equiv_Relations_More.thy
 
+* Old datatype package:
+  * Generated constants "xxx_case" and "xxx_rec" have been renamed "case_xxx"
+    and "rec_xxx".
+    INCOMPATIBILITY.
+
 * New theory:
     Cardinals/Ordinal_Arithmetic.thy
isabelle