--- a/src/Doc/System/Server.thy Sun Nov 26 13:32:51 2023 +0100
+++ b/src/Doc/System/Server.thy Sun Nov 26 14:02:27 2023 +0100
@@ -838,6 +838,10 @@
Start a session from the Archive of Formal Proofs:
@{verbatim [display] \<open>session_start {"session": "Coinductive", "dirs": ["$AFP_BASE/thys"]}\<close>}
+
+ Start a session with fine-tuning of options:
+ @{verbatim [display] \<open>session_start {"session": "HOL",
+ "options": ["headless_consolidate_delay=0.5", "headless_prune_delay=5"]}\<close>}
\<close>