src/Pure/System/isabelle_system.scala

--- a/src/Pure/System/isabelle_system.scala	Wed Apr 07 15:46:06 2021 +0000
+++ b/src/Pure/System/isabelle_system.scala	Thu Apr 08 16:43:35 2021 +0200
@@ -220,6 +220,8 @@
 
   def isabelle_name(): String = getenv_strict("ISABELLE_NAME")
 
+  def identification(): String = "Isabelle/" + isabelle_id() + isabelle_heading()
+
 
   /** file-system operations **/