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
authorbulwahn
Wed, 14 Dec 2011 17:49:42 +0100
changeset 45874 ab10ce781e34
parent 45873 37ffb8797a63
child 45875 6d3533fd26ea
NEWS
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Dec 14 16:30:32 2011 +0100
+++ b/NEWS	Wed Dec 14 17:49:42 2011 +0100
@@ -53,6 +53,8 @@
 
 *** HOL ***
 
+* Theory HOL/Library/AList has been renamed to AList_Impl. INCOMPABILITY.
+
 * 'datatype' specifications allow explicit sort constraints.
 
 * Theory HOL/Library/Diagonalize has been removed. INCOMPATIBILITY, use
isabelle