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