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;
authorwenzelm
Sun, 10 Aug 2025 22:07:26 +0200
changeset 82981 4629fcbf53e2
parent 82980 839d86abfe86
child 82982 cbeab5584c62
tuned;
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Sun Aug 10 22:06:24 2025 +0200
+++ b/etc/options	Sun Aug 10 22:07:26 2025 +0200
@@ -162,7 +162,7 @@
   -- "ML profiling (possible values: time, time_thread, allocations)"
 
 option profiling_dir : string = "" for content
-  -- "output directory for \"isabelle profiling\" tool"
+  -- "auxiliary directory for \"isabelle profiling\" tool"
 
 option system_log : string = "" (standard "-") for build
   -- "output for system messages (log file or \"-\" for console progress)"
isabelle