diff -r 3de18e94ac7c -r 486e094b676c src/Tools/VSCode/etc/options
--- a/src/Tools/VSCode/etc/options	Thu Oct 23 14:49:21 2025 +0200
+++ b/src/Tools/VSCode/etc/options	Thu Oct 23 16:15:40 2025 +0200
@@ -3,6 +3,9 @@
 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_output_delay : real = 0.5 for vscode
   -- "delay for client output (rendering)"