tuned msg;
authorwenzelm
Mon, 25 Feb 2008 19:38:48 +0100
changeset 26137 9b47c8a2d869
parent 26136 a5198555e3e0
child 26138 dc578de1d3e9
tuned msg;
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 *)