discontinued centralistic changelog;
authorwenzelm
Tue Aug 28 22:16:06 2012 +0200 (2012-08-28)
changeset 4899012814717c95c
parent 48989 06c0e350782c
child 48991 0350245dec1c
discontinued centralistic changelog;
Admin/Release/makedist
src/Pure/ROOT.ML
src/Pure/System/session.ML
     1.1 --- a/Admin/Release/makedist	Tue Aug 28 20:16:11 2012 +0200
     1.2 +++ b/Admin/Release/makedist	Tue Aug 28 22:16:06 2012 +0200
     1.3 @@ -186,7 +186,6 @@
     1.4    perl -pi -e "s,val is_official = false,val is_official = true,g" src/Pure/ROOT.ML
     1.5  fi
     1.6  
     1.7 -perl -pi -e "s,val changelog = \"\",val changelog = \"$REPOS/log/$IDENT\",g" src/Pure/ROOT.ML
     1.8  perl -pi -e "s,ISABELLE_ID=\"\",ISABELLE_ID=\"$IDENT\",g" lib/scripts/getsettings
     1.9  perl -pi -e "s,ISABELLE_IDENTIFIER=\"\",ISABELLE_IDENTIFIER=\"$DISTNAME\",g" lib/scripts/getsettings
    1.10  perl -pi -e "s,{ISABELLE},$DISTNAME,g" lib/html/library_index_header.template
     2.1 --- a/src/Pure/ROOT.ML	Tue Aug 28 20:16:11 2012 +0200
     2.2 +++ b/src/Pure/ROOT.ML	Tue Aug 28 22:16:06 2012 +0200
     2.3 @@ -4,7 +4,6 @@
     2.4  struct
     2.5    val version = "unidentified repository version";
     2.6    val is_official = false;
     2.7 -  val changelog = "";
     2.8  end;
     2.9  
    2.10  (*if true then some tools will OMIT some proofs*)
     3.1 --- a/src/Pure/System/session.ML	Tue Aug 28 20:16:11 2012 +0200
     3.2 +++ b/src/Pure/System/session.ML	Tue Aug 28 22:16:06 2012 +0200
     3.3 @@ -43,9 +43,7 @@
     3.4  fun welcome () =
     3.5    if Distribution.is_official then
     3.6      "Welcome to " ^ name () ^ " (" ^ Distribution.version ^ ")"
     3.7 -  else
     3.8 -    "Unofficial version of " ^ name () ^ " (" ^ Distribution.version ^ ")" ^
     3.9 -    (if Distribution.changelog <> "" then "\nSee also " ^ Distribution.changelog else "");
    3.10 +  else "Unofficial version of " ^ name () ^ " (" ^ Distribution.version ^ ")";
    3.11  
    3.12  
    3.13  (* add_path *)