Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/etc/options
changeset 83364 1d85e55bbc14
parent 83363 486e094b676c 
--- a/src/Tools/VSCode/etc/options	Thu Oct 23 16:15:40 2025 +0200
+++ b/src/Tools/VSCode/etc/options	Thu Oct 23 16:37:18 2025 +0200
@@ -3,8 +3,8 @@
 option vscode_input_delay : real = 0.1 for vscode
   -- "delay for client input (edits)"
 
-option sledgehammer_provers_history : string = "" for vscode
-  -- "history of used Sledgehammer provers"
+option vscode_sledgehammer_history : string = "" for vscode
+  -- "history of Sledgehammer provers used in Isabelle/VSCode"
 
 option vscode_output_delay : real = 0.5 for vscode
   -- "delay for client output (rendering)"
isabelle