1.1 --- a/Admin/CHECKLIST	Thu Jun 09 11:04:02 2005 +0200
     1.2 +++ b/Admin/CHECKLIST	Thu Jun 09 11:04:54 2005 +0200
     1.3 @@ -1,12 +1,11 @@
     1.4 -
     1.5  Checklist for official releases
     1.6  ===============================
     1.7  
     1.8  - make sure that etc/isar-keywords.el and etc/isar-keywords-ZF.el are
     1.9 -up-to-date; in ML use ``ProofGeneral.write_keywords ""'' and
    1.10 -``ProofGeneral.write_keywords "ZF"'';
    1.11 +  up-to-date; in ML use ``ProofGeneral.write_keywords ""'' and
    1.12 +  ``ProofGeneral.write_keywords "ZF"'';
    1.13  
    1.14 -- check ANNOUNCE, README, INSTALL, NEWS, Admin/page;
    1.15 +- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, Admin/website;
    1.16  
    1.17  - run tests with *all* supported ML systems (yes this is tedious!);
    1.18  
    1.19 @@ -24,6 +23,9 @@
    1.20      Doc/Logics/logics.tex
    1.21  
    1.22  - after release: 
    1.23 -  update Admin/page/DISTNAME and Admin/page/Contents in CVS
    1.24 +    commit new Admin/website/include/documentationdist.include.html to CVS
    1.25 +    [ commit new Admin/website/conf/distname.mak to CVS
    1.26 +    !!! this is currently not part of CVS, so ignore this description;
    1.27 +    !!! perhaps we will need to add it
    1.28  
    1.29  $Id$

     2.1 --- a/Admin/make_everything	Thu Jun 09 11:04:02 2005 +0200
     2.2 +++ b/Admin/make_everything	Thu Jun 09 11:04:54 2005 +0200
     2.3 @@ -3,13 +3,13 @@
     2.4  # $Id$
     2.5  #
     2.6  # make_everything -- an adhoc script that demonstrates the general procedure
     2.7 -#   of creating the Isabelle distribution and WWW page
     2.8 +#   of creating the Isabelle distribution and WWW site
     2.9  #
    2.10  # assumptions:
    2.11  #   - proper settings for polyml are present by magic
    2.12  #     (e.g. via ~/isabelle/etc/settings)
    2.13  #   - ~/tmp/isadist/contrib holds packages of external tools (polyml etc.)
    2.14 -#
    2.15 +
    2.16  
    2.17  date
    2.18  

     3.1 --- a/Admin/makedist	Thu Jun 09 11:04:02 2005 +0200
     3.2 +++ b/Admin/makedist	Thu Jun 09 11:04:54 2005 +0200
     3.3 @@ -53,7 +53,7 @@
     3.4    Checklist for official releases (before running this script):
     3.5  
     3.6      * Check Admin/page contents.
     3.7 -    * Check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT.
     3.8 +    * Check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS.
     3.9      * Try "isatool makeall all" with Poly/ML, SML/NJ, etc.
    3.10      * Tag the current repository version, e.g.:
    3.11          cvs -d /usr/proj/isabelle-repository/archive rtag Isabelle2002 isabelle
    3.12 @@ -267,7 +267,9 @@
    3.13  mv "$DISTNAME" "${DISTNAME}-old"
    3.14  mkdir "$DISTNAME"
    3.15  
    3.16 -mv "${DISTNAME}-old/README.html" "${DISTNAME}-old/INSTALL" "${DISTNAME}-old/NEWS" "${DISTNAME}-old/ANNOUNCE" "${DISTNAME}-old/COPYRIGHT" "$DISTNAME"
    3.17 +mv "${DISTNAME}-old/README.html" "${DISTNAME}-old/INSTALL" "${DISTNAME}-old/NEWS" \
    3.18 +   "${DISTNAME}-old/ANNOUNCE" "${DISTNAME}-old/COPYRIGHT" "${DISTNAME}-old/CONTRIBUTORS" \
    3.19 +   "$DISTNAME"
    3.20  mkdir "$DISTNAME/doc"
    3.21  mv "${DISTNAME}-old/doc/"*.pdf "${DISTNAME}-old/doc/index.html" "$DISTNAME/doc"
    3.22  

     4.1 --- a/Admin/website/dist/documentation.html	Thu Jun 09 11:04:02 2005 +0200
     4.2 +++ b/Admin/website/dist/documentation.html	Thu Jun 09 11:04:54 2005 +0200
     4.3 @@ -55,6 +55,8 @@
     4.4              <li><a href="//dist/packages/Isabelle/README.html">README</a></li>
     4.5              <li><a href="//dist/packages/Isabelle/INSTALL">INSTALL</a></li>
     4.6              <li><a href="//dist/packages/Isabelle/NEWS">NEWS</a></li>
     4.7 +            <!-- <li><a href="//dist/packages/Isabelle/COPYRIGHT">COPYRIGHT</a></li> -->
     4.8 +            <!-- <li><a href="//dist/packages/Isabelle/CONTRIBUTORS">CONTRIBUTORS</a></li> -->
     4.9            </ul>
    4.10  
    4.11          <h2 id="course_material">Course Material and Exercises</h2>