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 (cf. 4e8483cc2cc5);
authorwenzelm
Sun, 15 May 2011 18:00:08 +0200
changeset 42815 61668e617a3b
parent 42814 5af15f1e2ef6
child 42816 ba14eafef077
NEWS (cf. 4e8483cc2cc5);
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Sun May 15 17:45:53 2011 +0200
+++ b/NEWS	Sun May 15 18:00:08 2011 +0200
@@ -58,6 +58,8 @@
 
 *** HOL ***
 
+* Declare ext [intro] by default.  Rare INCOMPATIBILITY.
+
 * Finite_Set.thy: locale fun_left_comm uses point-free characterisation;
 interpretation proofs may need adjustment.  INCOMPATIBILITY.
isabelle