# HG changeset patch
# User wenzelm
# Date 1203964728 -3600
# Node ID 9b47c8a2d869908697f6e3a7d495ded336f7dfdb
# Parent  a5198555e3e0d330452c7fdaadfd75f3e022ac33
tuned msg;

diff -r a5198555e3e0 -r 9b47c8a2d869 src/Pure/Isar/session.ML
--- a/src/Pure/Isar/session.ML	Mon Feb 25 17:57:44 2008 +0100
+++ b/src/Pure/Isar/session.ML	Mon Feb 25 19:38:48 2008 +0100
@@ -37,14 +37,14 @@
 
 fun name () = "Isabelle/" ^ str_of (path ());
 
-val log = Path.explode "$ISABELLE_HOME/ChangeLog.gz";
+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 log then "\nSee " ^ Path.implode (Path.expand log) ^ " for details" else "");
+    (if File.exists changelog then "\nSee also " ^ Path.implode (Path.expand changelog) else "");
 
 
 (* add_path *)