--- a/src/Pure/Isar/session.ML Thu Feb 21 21:31:51 2008 +0100
+++ b/src/Pure/Isar/session.ML Thu Feb 21 21:31:52 2008 +0100
@@ -36,7 +36,11 @@
| str_of elems = space_implode "/" elems;
fun name () = "Isabelle/" ^ str_of (path ());
-fun welcome () = "Welcome to " ^ name () ^ " (" ^ version ^ ")";
+
+fun welcome () =
+ (if Distribution.is_unofficial then "Unofficial version of " else "Welcome to ") ^
+ name () ^ " (" ^ Distribution.version ^ ")" ^
+ (if Distribution.has_changelog then "\nSee ChangeLog.gz for details" else "");
(* add_path *)