Numéro de version pour la 8.2beta2

git-svn-id: svn://scm.gforge.inria.fr/svn/coq/tags/V8.2beta2@11152 85f007b7-540e-0410-9357-904b9bb8a0f7

Numéros de version dans la doc

git-svn-id: svn://scm.gforge.inria.fr/svn/coq/tags/V8.2beta@11123 85f007b7-540e-0410-9357-904b9bb8a0f7

Préparation des paquets pour la 8.2alpha

git-svn-id: svn://scm.gforge.inria.fr/svn/coq/tags/V8.2alpha@10968 85f007b7-540e-0410-9357-904b9bb8a0f7

Création d'un tag pour la 8.1pl3

git-svn-id: svn://scm.gforge.inria.fr/svn/coq/tags/V8.1pl3@10375 85f007b7-540e-0410-9357-904b9bb8a0f7

report de la révision 10219 dans le tags V8.1pl2 (correction du lien …

…vers coq-bugs)

git-svn-id: svn://scm.gforge.inria.fr/svn/coq/tags/V8.1pl2@10220 85f007b7-540e-0410-9357-904b9bb8a0f7

Nettoyage du configure

git-svn-id: svn://scm.gforge.inria.fr/svn/coq/tags/V8.1pl1@10054 85f007b7-540e-0410-9357-904b9bb8a0f7

Release de la 8.1

git-svn-id: svn://scm.gforge.inria.fr/svn/coq/tags/V8.1@9637 85f007b7-540e-0410-9357-904b9bb8a0f7

Release de la 8.0pl4

git-svn-id: svn://scm.gforge.inria.fr/svn/coq/tags/V8.0pl4@9547 85f007b7-540e-0410-9357-904b9bb8a0f7

Correction typo règle réduction du fix chapitre CCI

Maj mode emacs coqide dans faq


git-svn-id: svn://scm.gforge.inria.fr/svn/coq/tags/V8.1gamma@9413 85f007b7-540e-0410-9357-904b9bb8a0f7

Creating\ a\ tag\ for\ Coq\

git-svn-id: svn://scm.gforge.inria.fr/svn/coq/tags/trunk@9046 85f007b7-540e-0410-9357-904b9bb8a0f7