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
Wed, 06 Jan 2016 13:04:31 +0100
changeset 62080 73fde830ddae
parent 62079 3a21fddf0328
child 62081 fd18b51bdc55
updated NEWS
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Jan 06 13:04:30 2016 +0100
+++ b/NEWS	Wed Jan 06 13:04:31 2016 +0100
@@ -551,6 +551,7 @@
 * Nitpick:
   - Fixed soundness bug in translation of "finite" predicate.
   - Fixed soundness bug in "destroy_constrs" optimization.
+  - Fixed soundness bug in translation of "rat" type.
   - Removed "check_potential" and "check_genuine" options.
   - Eliminated obsolete "blocking" option.
isabelle