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.
updated NEWS
authorblanchet
Mon, 17 Feb 2014 13:31:42 +0100
changeset 55533 6260caf1d612
parent 55532 b751e6d7f4e9
child 55534 b18bdcbda41b
updated NEWS
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Mon Feb 17 13:31:42 2014 +0100
+++ b/NEWS	Mon Feb 17 13:31:42 2014 +0100
@@ -120,7 +120,9 @@
   Discontinued theories:
     BNF/BNF.thy
     BNF/Equiv_Relations_More.thy
-  Renamed command:
+  Renamed commands:
+    datatype_new_compat ~> datatype_compat
+    primrec_new ~> primrec
     wrap_free_constructors ~> free_constructors
   INCOMPATIBILITY.
isabelle