diff -r 1588bec693c2 -r addecc8de2c4 src/Tools/profiling.ML
--- a/src/Tools/profiling.ML	Wed Jul 12 15:20:01 2023 +0200
+++ b/src/Tools/profiling.ML	Wed Jul 12 16:23:28 2023 +0200
@@ -1,7 +1,7 @@
-(*  Author:     Makarius
-    LICENSE:    Isabelle (BSD-3)
+(*  Title:      Tools/profiling.ML
+    Author:     Makarius
 
-Statistics for theory content.
+Session profiling based on loaded ML image.
 *)
 
 type theory_statistics =
@@ -17,7 +17,7 @@
   sizeof_types: int,
   sizeof_spaces: int};
 
-structure Statistics:
+structure Profiling:
 sig
   val locale_names: theory -> string list
   val locale_thms: theory -> string -> thm list
@@ -142,7 +142,7 @@
 in
 
 fun main () =
-  (case getenv "AUTOCORRES_STATISTICS" of
+  (case getenv "ISABELLE_PROFILING" of
     "" => ()
   | dir_name =>
       let