Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 62080 73fde830ddae
parent 62075 ea3360245939
child 62083 7582b39f51ed 
--- 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