# HG changeset patch
# User wenzelm
# Date 1346184966 -7200
# Node ID 12814717c95cf67daca7534f174d2934c2cf7d5b
# Parent  06c0e350782cb1ab183a32c1b6eed0ee1001fc69
discontinued centralistic changelog;

diff -r 06c0e350782c -r 12814717c95c Admin/Release/makedist
--- 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
diff -r 06c0e350782c -r 12814717c95c src/Pure/ROOT.ML
--- 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*)
diff -r 06c0e350782c -r 12814717c95c src/Pure/System/session.ML
--- 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 *)