--- a/src/Pure/System/isabelle_system.ML Wed Apr 07 15:46:06 2021 +0000
+++ b/src/Pure/System/isabelle_system.ML Thu Apr 08 16:43:35 2021 +0200
@@ -25,6 +25,7 @@
val isabelle_identifier: unit -> string option
val isabelle_heading: unit -> string
val isabelle_name: unit -> string
+ val identification: unit -> string
end;
structure Isabelle_System: ISABELLE_SYSTEM =
@@ -133,4 +134,6 @@
fun isabelle_name () = getenv_strict "ISABELLE_NAME";
+fun identification () = "Isabelle/" ^ isabelle_id () ^ isabelle_heading ();
+
end;