| changeset 63785 | c882ba741244 |
| parent 63751 | 300f9782cb6f |
| child 63793 | e68a0b651eb5 |
--- 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.