diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-09-20 16:49:20 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-09-20 16:49:20 +0000 |
| commit | 6c7f6fa6c215e5e28fcf23bf28ccb9db543709ba (patch) | |
| tree | 9f5da5b797325ba0c8b6964aacd987755b781e71 /distrib | |
| parent | ff884db0cdcd51816ee3f3bcfc741e69c395de6f (diff) | |
MAJ V7.1
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2034 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/RELEASE | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/distrib/RELEASE b/distrib/RELEASE index cc5bdb82b..1776d4dc4 100644 --- a/distrib/RELEASE +++ b/distrib/RELEASE @@ -1,5 +1,6 @@ (**************************************************************************) (* Liste des choses à faire pour une release *) +(* Mise à jour V7 *) (**************************************************************************) PLAN @@ -17,12 +18,12 @@ A1) VÉRIFICATIONS S'assurer que les choses suivantes été réalisées et COMMITÉES. - - Changement du magic number dans src/meta/library.ml si la syntaxe + - Changement du magic number dans library/library.ml si la syntaxe interne des .vo a changé - Changement des variables en tête du fichier "configure" et vérification du numéro de versions de OCaml et Camlp4 demandées - - Mise à jour des champs Version, Source et Require + - Mise à jour des champs Version, Source et Require dans RH/coq.spec.tpl - Relecture des fichiers "README", "README.win", en particulier, vérification du numéro de version, des adresses internet et des coordonnées de Coq @@ -30,6 +31,8 @@ A1) VÉRIFICATIONS de version de coq et numéros des versions de OCaml et Camlp4 demandées - Mise à jour/nettoyage du fichier CHANGES et du fichier ANNONCE + S'assurer aussi que make world, make doc et make check fonctionnent ! + EN CAS DE MODIFICATION DE L'ARCHIVE, REPRENDRE EN A3 (ou en A2 si la date ou le numéro de version a changé) |