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.
minor Sledgehammer news
authorblanchet
Mon, 27 Jun 2011 14:56:29 +0200
changeset 43573 81f7dca3e542
parent 43572 ae612a423dad
child 43574 940b714bd35e
minor Sledgehammer news
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Mon Jun 27 14:56:28 2011 +0200
+++ b/NEWS	Mon Jun 27 14:56:29 2011 +0200
@@ -85,12 +85,14 @@
     INCOMPATIBILITY.
   - Added support for SNARK and ToFoF-E on SystemOnTPTP and for simply typed
     TPTP problems (TFF).
-  - Added "type_sys", "max_mono_iters", and "max_new_mono_instances" options.
+  - Added "type_sys", "sound", "max_mono_iters", and "max_new_mono_instances"
+    options.
   - Removed "full_types" option and corresponding Proof General menu item.
+    INCOMPATIBILITY.
 
 * Metis:
-  - Removed "metisF" -- use "metis" instead.
-  - Obsoleted "metisFT" -- use "metis (full_types)" instead.
+  - Removed "metisF" -- use "metis" instead. INCOMPATIBILITY.
+  - Obsoleted "metisFT" -- use "metis (full_types)" instead. INCOMPATIBILITY.
 
 * "try":
   - Renamed "try_methods" and added "simp:", "intro:", "dest:", and "elim:"
isabelle