--- a/src/Pure/Isar/session.ML Thu Jul 17 20:15:14 2008 +0200
+++ b/src/Pure/Isar/session.ML Thu Jul 17 20:15:15 2008 +0200
@@ -37,14 +37,12 @@
fun name () = "Isabelle/" ^ str_of (path ());
-val changelog = Path.explode "$ISABELLE_HOME/ChangeLog.gz";
-
fun welcome () =
if Distribution.is_official then
"Welcome to " ^ name () ^ " (" ^ Distribution.version ^ ")"
else
"Unofficial version of " ^ name () ^ " (" ^ Distribution.version ^ ")" ^
- (if File.exists changelog then "\nSee also " ^ Path.implode (Path.expand changelog) else "");
+ (if Distribution.changelog <> "" then "\nSee also " ^ Distribution.changelog else "");
(* add_path *)