# HG changeset patch # User desharna # Date 1738585057 -3600 # Node ID 133b41bce66154b00471247ccb5a1f3aeb6b4ea0 # Parent 46b21e6b64b24a18f7dd21af39cf4ba1060a0e4b NEWS diff -r 46b21e6b64b2 -r 133b41bce661 NEWS --- a/NEWS Mon Feb 03 13:04:55 2025 +0100 +++ b/NEWS Mon Feb 03 13:17:37 2025 +0100 @@ -263,6 +263,7 @@ variable instantiations (see below). - Added extensionality (fact "ext") to some "metis (lifting)" calls. - Use pretty-printing to format suggested one-line proofs. + - Added option "cache_dir" to cache the result of external provers. * Metis: - Added inference of variable instantiations, which can be activated