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.
added warning
authorblanchet
Mon, 05 Sep 2016 10:48:06 +0200
changeset 63785 c882ba741244
parent 63784 b948c4f92b88
child 63786 b87d9d2ca67b
added warning
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Sun Sep 04 23:04:34 2016 +0200
+++ b/NEWS	Mon Sep 05 10:48:06 2016 +0200
@@ -305,6 +305,9 @@
 has been removed for output. It is retained for input only, until it is
 eliminated altogether.
 
+* metis: The problem encoding has changed very slightly. This might
+break existing proofs. INCOMPATIBILITY.
+
 * Sledgehammer:
   - The MaSh relevance filter has been sped up.
   - Produce syntactically correct Vampire 4.0 problem files.
isabelle