tuned structure Distribution;
authorwenzelm
Mon Feb 25 17:27:38 2008 +0100 (2008-02-25)
changeset 261338ea867ad9a48
parent 26132 c927c3ed82c9
child 26134 3b499feded50
tuned structure Distribution;
Admin/makedist
src/Pure/ROOT.ML
     1.1 --- a/Admin/makedist	Mon Feb 25 16:31:20 2008 +0100
     1.2 +++ b/Admin/makedist	Mon Feb 25 17:27:38 2008 +0100
     1.3 @@ -208,12 +208,9 @@
     1.4      echo "This is an unofficial release of Isabelle, created by $LOGNAME $DATE."
     1.5      echo
     1.6    } >ANNOUNCE
     1.7 -  perl -pi -e "s/val is_unofficial = false/val is_unofficial = true/" src/Pure/ROOT.ML
     1.8 +  perl -pi -e "s/val is_official = true/val is_official = false/" src/Pure/ROOT.ML
     1.9  fi
    1.10  
    1.11 -[ -f ChangeLog.gz ] && \
    1.12 -  perl -pi -e "s/val has_changelog = false/val has_changelog = true/" src/Pure/ROOT.ML
    1.13 -
    1.14  perl -pi -e "s/ISABELLE_IDENTIFIER=\"\"/ISABELLE_IDENTIFIER=\"$DISTNAME\"/g;" lib/scripts/getsettings
    1.15  perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/library_index_header.template
    1.16  perl -pi -e "s/Isabelle repository version/$DISTVERSION/" src/Pure/ROOT.ML lib/Tools/version
     2.1 --- a/src/Pure/ROOT.ML	Mon Feb 25 16:31:20 2008 +0100
     2.2 +++ b/src/Pure/ROOT.ML	Mon Feb 25 17:27:38 2008 +0100
     2.3 @@ -7,8 +7,7 @@
     2.4  structure Distribution =     (*filled-in by makedist*)
     2.5  struct
     2.6    val version = "Isabelle repository version";
     2.7 -  val is_unofficial = false;
     2.8 -  val has_changelog = false;
     2.9 +  val is_official = true;
    2.10  end;
    2.11  
    2.12  (*if true then some tools will OMIT some proofs*)