--- 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 *)