# HG changeset patch
# User wenzelm
# Date 1216318515 -7200
# Node ID cc13e03124f0171ddcf1d82dd3d5572e7130aad6
# Parent  c0db1220b0710a8819cc226cc019381ff654e38b
explicit Distribution.changelog;

diff -r c0db1220b071 -r cc13e03124f0 src/Pure/Isar/session.ML
--- 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 *)