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.scala
changeset 78414 406d34a8a67a
parent 78330 1a69d3a3e3aa
child 78448 573cc2ab69c5 
--- a/src/Pure/Tools/profiling.scala	Thu Jul 20 12:02:52 2023 +0200
+++ b/src/Pure/Tools/profiling.scala	Thu Jul 20 12:10:54 2023 +0200
@@ -1,4 +1,4 @@
-/*  Title:      Pure/Tools/profiling_report.scala
+/*  Title:      Pure/Tools/profiling.scala
     Author:     Makarius
 
 Build sessions for profiling of ML heap content.
isabelle