# 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