--- a/src/Pure/PIDE/session.ML Wed Mar 31 22:10:56 2021 +0200
+++ b/src/Pure/PIDE/session.ML Wed Mar 31 22:58:17 2021 +0200
@@ -27,10 +27,7 @@
fun description () = "Isabelle/" ^ get_name ();
-fun welcome () =
- if Distribution.is_identified then
- "Welcome to " ^ description () ^ " (" ^ Distribution.version ^ ")"
- else "Unofficial version of " ^ description () ^ " (" ^ Distribution.version ^ ")";
+fun welcome () = "Welcome to " ^ description () ^ Isabelle_System.isabelle_heading ();
(* base syntax *)