# HG changeset patch
# User desharna
# Date 1734516176 -3600
# Node ID 44afa6f1baad90d9e8878136aba4359e3e8653c8
# Parent  6528e378be872fed0b45cbf86d8cc1c62b6f23cb
added documentation for new Sledehammer option "cache_dir"

diff -r 6528e378be87 -r 44afa6f1baad src/Doc/Sledgehammer/document/root.tex
--- a/src/Doc/Sledgehammer/document/root.tex	Wed Dec 18 10:43:44 2024 +0100
+++ b/src/Doc/Sledgehammer/document/root.tex	Wed Dec 18 11:02:56 2024 +0100
@@ -825,6 +825,12 @@
 \opnodefault{prover}{string}
 Alias for \textit{provers}.
 
+\opdefault{cache\_dir}{string}{""}
+Specifies whether Sledgehammer should cache the result of the external provers or not and, if yes, where.
+If the option is set to the empty string (i.e., ""), then no caching takes place.
+Otherwise, the string is interpreted as a path to a directory where the cached result will be saved.
+The content of the cache directory can be deleted at any time to reset the cache.
+
 \opsmartfalse{falsify}{dont\_falsify}
 Specifies whether Sledgehammer should look for falsifications or for proofs. If
 the option is set to \textit{smart}, it looks for both.