--- 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