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.
no special tag for transient option;
authorwenzelm
Tue, 12 Aug 2025 11:32:05 +0200
changeset 82997 947d10dbe353
parent 82996 4a77ce6d4e07
child 82998 3300a2aadc3a
no special tag for transient option;
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Tue Aug 12 11:19:08 2025 +0200
+++ b/etc/options	Tue Aug 12 11:32:05 2025 +0200
@@ -161,7 +161,7 @@
 option profiling : string = "" (standard "time") for build
   -- "ML profiling (possible values: time, time_thread, allocations)"
 
-option profiling_dir : string = "" for content
+option profiling_dir : string = ""
   -- "auxiliary directory for \"isabelle profiling\" tool"
 
 option system_log : string = "" (standard "-") for build
isabelle