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 text;
authorwenzelm
Tue, 04 Nov 2025 21:49:24 +0100
changeset 83506 b1e04ffb4b08
parent 83505 ef6863b14ca2
child 83507 989304e45ad7
tuned text;
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Tue Nov 04 21:36:33 2025 +0100
+++ b/etc/options	Tue Nov 04 21:49:24 2025 +0100
@@ -213,7 +213,7 @@
   -- "slice size in MiB for ML heap stored within database"
 
 option build_progress_detailed : bool = false for build
-  -- "enabled detailed build progress"
+  -- "detailed status for ongoing build progress"
 
 option build_progress_delay : real = 2 for build
   -- "delay for detailed build progress"
isabelle