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.
src/Pure/Tools/profiling_report.scala
changeset 77554 4465d9dff448
parent 76205 005abcb34849
child 78178 a177f71dc79f 
--- a/src/Pure/Tools/profiling_report.scala	Tue Mar 07 10:16:24 2023 +0100
+++ b/src/Pure/Tools/profiling_report.scala	Tue Mar 07 10:57:50 2023 +0100
@@ -57,7 +57,7 @@
     -c           clean function names
     -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
 
-  Report Poly/ML profiling from the build database of the given session
+  Report Poly/ML profiling from the sebuild database of the given session
   (without up-to-date check of sources).
 """,
           "T:" -> (arg => theories = theories ::: List(arg)),
isabelle