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 61324 d4ec7594f558
parent 61318 6a5a188ab3e7
child 61325 1cfc476198c9 
--- a/NEWS	Mon Oct 05 13:26:25 2015 +0200
+++ b/NEWS	Mon Oct 05 15:57:25 2015 +0200
@@ -253,6 +253,7 @@
   - Eliminated obsolete "blocking" option and related subcommands.
 
 * Nitpick:
+  - Fixed soundness bug in "destroy_constrs" optimization.
   - Removed "check_potential" and "check_genuine" options.
   - Eliminated obsolete "blocking" option.
isabelle