--- a/etc/options Wed Dec 26 20:57:23 2018 +0100
+++ b/etc/options Thu Dec 27 16:56:53 2018 +0100
@@ -144,7 +144,7 @@
-- "ML process command prefix (process policy)"
-section "Editor Reactivity"
+section "Editor Session"
public option editor_load_delay : real = 0.5
-- "delay for file load operations (new buffers etc.)"
@@ -195,6 +195,24 @@
-- "dynamic presentation while editing"
+section "Headless Session"
+
+option headless_check_delay : real = 0.5
+ -- "delay for theory status check during PIDE processing (seconds)"
+
+option headless_check_limit : int = 0
+ -- "maximum number of theory status checks (0 = unlimited)"
+
+option headless_nodes_status_delay : real = -1
+ -- "delay for overall nodes status check during PIDE processing (seconds, disabled for < 0)"
+
+option headless_watchdog_timeout : real = 600
+ -- "watchdog timeout for PIDE processing of broken theories (seconds, 0 = disabled)"
+
+option headless_commit_cleanup_delay : real = 60
+ -- "delay for cleanup of already imported theories (seconds, 0 = disabled)"
+
+
section "Miscellaneous Tools"
public option find_theorems_limit : int = 40