--- a/etc/options Fri Oct 04 16:34:14 2019 +0200
+++ b/etc/options Sat Oct 05 15:34:54 2019 +0200
@@ -162,7 +162,7 @@
public option editor_output_delay : real = 0.1
-- "delay for prover output (markup, common messages etc.)"
-public option editor_consolidate_delay : real = 3.0
+public option editor_consolidate_delay : real = 2.0
-- "delay to consolidate status of command evaluation (execution forks)"
public option editor_prune_delay : real = 15
@@ -201,6 +201,12 @@
section "Headless Session"
+option headless_consolidate_delay : real = 15
+ -- "delay to consolidate status of command evaluation (execution forks)"
+
+option headless_prune_delay : real = 60
+ -- "delay to prune history (delete old versions)"
+
option headless_check_delay : real = 0.5
-- "delay for theory status check during PIDE processing (seconds)"
@@ -216,7 +222,7 @@
option headless_commit_cleanup_delay : real = 60
-- "delay for cleanup of already imported theories (seconds, 0 = disabled)"
-option headless_load_limit : int = 0
+option headless_load_limit : int = 100
-- "limit for loaded theories (0 = unlimited)"
option dump_checkpoint : bool = false