--- a/Admin/Release/makedist Tue Aug 28 20:16:11 2012 +0200
+++ b/Admin/Release/makedist Tue Aug 28 22:16:06 2012 +0200
@@ -186,7 +186,6 @@
perl -pi -e "s,val is_official = false,val is_official = true,g" src/Pure/ROOT.ML
fi
-perl -pi -e "s,val changelog = \"\",val changelog = \"$REPOS/log/$IDENT\",g" src/Pure/ROOT.ML
perl -pi -e "s,ISABELLE_ID=\"\",ISABELLE_ID=\"$IDENT\",g" lib/scripts/getsettings
perl -pi -e "s,ISABELLE_IDENTIFIER=\"\",ISABELLE_IDENTIFIER=\"$DISTNAME\",g" lib/scripts/getsettings
perl -pi -e "s,{ISABELLE},$DISTNAME,g" lib/html/library_index_header.template
--- a/src/Pure/ROOT.ML Tue Aug 28 20:16:11 2012 +0200
+++ b/src/Pure/ROOT.ML Tue Aug 28 22:16:06 2012 +0200
@@ -4,7 +4,6 @@
struct
val version = "unidentified repository version";
val is_official = false;
- val changelog = "";
end;
(*if true then some tools will OMIT some proofs*)
--- a/src/Pure/System/session.ML Tue Aug 28 20:16:11 2012 +0200
+++ b/src/Pure/System/session.ML Tue Aug 28 22:16:06 2012 +0200
@@ -43,9 +43,7 @@
fun welcome () =
if Distribution.is_official then
"Welcome to " ^ name () ^ " (" ^ Distribution.version ^ ")"
- else
- "Unofficial version of " ^ name () ^ " (" ^ Distribution.version ^ ")" ^
- (if Distribution.changelog <> "" then "\nSee also " ^ Distribution.changelog else "");
+ else "Unofficial version of " ^ name () ^ " (" ^ Distribution.version ^ ")";
(* add_path *)