Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comments;
authorwenzelm
Sat, 20 Sep 2025 21:07:47 +0200
changeset 83201 d3220d015c9d
parent 83200 f93e95c4d3cf
child 83202 30767e3da749
tuned comments;
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Sat Sep 20 19:36:59 2025 +0200
+++ b/etc/options	Sat Sep 20 21:07:47 2025 +0200
@@ -213,13 +213,13 @@
   -- "slice size in MiB for ML heap stored within database"
 
 option build_delay : real = 0.2
-  -- "delay build process main loop (local)"
+  -- "delay for build process main loop (local)"
 
 option build_delay_master : real = 1.0
-  -- "delay build process main loop (cluster master)"
+  -- "delay for build process main loop (cluster master)"
 
 option build_delay_worker : real = 0.5
-  -- "delay build process main loop (cluster worker)"
+  -- "delay for build process main loop (cluster worker)"
 
 option build_cluster_expire : int = 50
   -- "enforce database synchronization after given number of delay loops"
isabelle