Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/options
changeset 80470 f2f4b953ead6
parent 80469 a3bae6dd7344
child 80471 12901c03b416 
--- a/etc/options	Mon Jul 01 15:24:04 2024 +0200
+++ b/etc/options	Mon Jul 01 15:25:27 2024 +0200
@@ -244,6 +244,7 @@
   -- "isabelle identifier for build manager processes"
 
 option build_manager_cluster : string = "cluster.default"
+  -- "cluster for user-submitted tasks"
 
 option build_manager_timeout : real = 28800
   -- "timeout for user-submitted tasks (seconds > 0)"
isabelle