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.
NEWS
authornipkow
Wed, 24 Feb 2016 07:41:52 +0100
changeset 62396 6fb3e5508e79
parent 62395 4ceda7d0c955
child 62398 a4b68bf18f8d
NEWS
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Tue Feb 23 19:05:18 2016 +0100
+++ b/NEWS	Wed Feb 24 07:41:52 2016 +0100
@@ -32,6 +32,9 @@
       pred_prod_apply ~> pred_prod_inject
     INCOMPATIBILITY.
 
+* Renamed split_if -> if_split and split_if_asm -> if_split_asm
+  to resemble the f.split naming convention.
+
 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now.
 INCOMPATIBILITY.
isabelle