changeset 57649 | a43898f76ae9 |
parent 56533 | cd8b6d849b6a |
child 58928 | 23d0ffd48006 |
--- a/src/Pure/PIDE/session.ML Thu Jul 24 15:13:37 2014 +0200 +++ b/src/Pure/PIDE/session.ML Thu Jul 24 15:54:56 2014 +0200 @@ -26,7 +26,7 @@ fun name () = "Isabelle/" ^ #name (! session); fun welcome () = - if Distribution.is_official then + if Distribution.is_identified then "Welcome to " ^ name () ^ " (" ^ Distribution.version ^ ")" else "Unofficial version of " ^ name () ^ " (" ^ Distribution.version ^ ")";