aboutsummaryrefslogtreecommitdiff
path: root/distrib
AgeCommit message (Collapse)Author
2004-04-07preparation a la release 8.0barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5655 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-03-24*** empty log message ***barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5549 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-03-18MAJ macosxherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5530 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-03-16install de pcoq incorrect + spec rpmbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5503 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-03-15preparation pour release (suite)barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5497 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-03-15preparation packages V8.0-cdrombarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5492 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-03-12coq.spec n\'est plus parametrebarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5470 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-02-18- fixed the Assert_failure error in kernel/modopsbarras
- fixed the problem with passing atomic tactics to ltacs - restructured the distrib Makefile (can build a package from the CVS working dir) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5358 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-27meilleure separation de compil et install de coq, coqide et coq-interfacebarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5256 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-08Finalisation du mecanisme de creation du rpm coqideherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5186 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-06Version 1 pour coqideherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5180 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-06pas ideherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5179 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-06MAJ rpmherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5178 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-06MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5177 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-28MAJ 8.0herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5158 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-01numeros versionmarche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5054 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-06-27*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4209 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-24aide contextuelle / menus compilation + print + exportfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3698 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-05Automatisation de la création de l'image avec le package MacOS-Xherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3662 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-04MAJ Windowsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3659 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-03-reals allfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3655 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-03release 7.4; changement magic numberfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3652 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-01-31preparation pkg deb for 7.4courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3637 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-11-10more cleaningherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3225 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-10-07*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3098 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-10-02debian pkg now recommends proof generalcourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3066 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-06-04'make check' echoue si au moins un test echoue.courant
Les distributions binaires ne peuvent etre faites que si 'make check' reussit. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2751 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-05-16ARCH passe de Makefile à config.distribherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2701 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-05-15MAJ V7.3herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2689 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-04-10Simplification du nom de l'architecture Mac OS Xherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2631 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-04-10MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2627 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-03-12*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2525 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-23paquet Debian 7.2-3courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2424 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-21mise a jourfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2423 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-18*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2405 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-10Bugs et raffinementsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2390 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-28MAJ 7.2herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2378 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-23MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2373 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2363 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21comment faire le .debcourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2362 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21preparation V7.2courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2361 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21paquet Debiancourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2360 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-19MAJ 7.2herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2336 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-13package Debian 7.1, correction pb compilation native sur certaines architecturescourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2292 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-11*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2288 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-03MAJ docherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2097 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-27Ajout INSTALL.winherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2083 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-26tools pas fait automatiquementherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2078 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-26Compatibilite Windowsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2076 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-26MAJ contribherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2075 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 12:01:11 +0000