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.
proper description;
authorwenzelm
Fri, 02 Sep 2022 23:19:02 +0200
changeset 76041 4a1330addb4e
parent 76040 5326abe1fff8
child 76042 e076b1b42c44
proper description;
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Fri Sep 02 23:31:22 2022 +0200
+++ b/etc/options	Fri Sep 02 23:19:02 2022 +0200
@@ -133,7 +133,7 @@
   -- "build process output tail shown to user (in lines, 0 = unlimited)"
 
 option profiling : string = "" (standard "time")
-  -- "ML profiling (possible values: time, allocations)"
+  -- "ML profiling (possible values: time, time_thread, allocations)"
 
 option system_log : string = "" (standard "-")
   -- "output for system messages (log file or \"-\" for console progress)"
isabelle