src/Pure/System/isabelle_system.scala

       case Some(version) => " (" + version + ")"
     }
 
   def isabelle_name(): String = getenv_strict("ISABELLE_NAME")
 
+  def identification(): String = "Isabelle/" + isabelle_id() + isabelle_heading()
+
 
   /** file-system operations **/
 
   /* scala functions */