aboutsummaryrefslogtreecommitdiffhomepage
path: root/distrib
Commit message (Collapse)AuthorAge
* - fixed the Assert_failure error in kernel/modopsGravatar barras2004-02-18
| | | | | | | | | - 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
* meilleure separation de compil et install de coq, coqide et coq-interfaceGravatar barras2004-01-27
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5256 85f007b7-540e-0410-9357-904b9bb8a0f7
* Finalisation du mecanisme de creation du rpm coqideGravatar herbelin2004-01-08
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5186 85f007b7-540e-0410-9357-904b9bb8a0f7
* Version 1 pour coqideGravatar herbelin2004-01-06
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5180 85f007b7-540e-0410-9357-904b9bb8a0f7
* pas ideGravatar herbelin2004-01-06
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5179 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ rpmGravatar herbelin2004-01-06
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5178 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJGravatar herbelin2004-01-06
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5177 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ 8.0Gravatar herbelin2003-12-28
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5158 85f007b7-540e-0410-9357-904b9bb8a0f7
* numeros versionGravatar marche2003-12-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5054 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar courant2003-06-27
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4209 85f007b7-540e-0410-9357-904b9bb8a0f7
* aide contextuelle / menus compilation + print + exportGravatar filliatr2003-02-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3698 85f007b7-540e-0410-9357-904b9bb8a0f7
* Automatisation de la création de l'image avec le package MacOS-XGravatar herbelin2003-02-05
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3662 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ WindowsGravatar herbelin2003-02-04
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3659 85f007b7-540e-0410-9357-904b9bb8a0f7
* -reals allGravatar filliatr2003-02-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3655 85f007b7-540e-0410-9357-904b9bb8a0f7
* release 7.4; changement magic numberGravatar filliatr2003-02-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3652 85f007b7-540e-0410-9357-904b9bb8a0f7
* preparation pkg deb for 7.4Gravatar courant2003-01-31
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3637 85f007b7-540e-0410-9357-904b9bb8a0f7
* more cleaningGravatar herbelin2002-11-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3225 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar courant2002-10-07
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3098 85f007b7-540e-0410-9357-904b9bb8a0f7
* debian pkg now recommends proof generalGravatar courant2002-10-02
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3066 85f007b7-540e-0410-9357-904b9bb8a0f7
* 'make check' echoue si au moins un test echoue.Gravatar courant2002-06-04
| | | | | | | 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
* ARCH passe de Makefile à config.distribGravatar herbelin2002-05-16
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2701 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ V7.3Gravatar herbelin2002-05-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2689 85f007b7-540e-0410-9357-904b9bb8a0f7
* Simplification du nom de l'architecture Mac OS XGravatar herbelin2002-04-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2631 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJGravatar herbelin2002-04-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2627 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar courant2002-03-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2525 85f007b7-540e-0410-9357-904b9bb8a0f7
* paquet Debian 7.2-3Gravatar courant2002-01-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2424 85f007b7-540e-0410-9357-904b9bb8a0f7
* mise a jourGravatar filliatr2002-01-21
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2423 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar courant2002-01-18
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2405 85f007b7-540e-0410-9357-904b9bb8a0f7
* Bugs et raffinementsGravatar herbelin2002-01-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2390 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ 7.2Gravatar herbelin2001-12-28
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2378 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJGravatar herbelin2001-12-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2373 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar courant2001-12-21
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2363 85f007b7-540e-0410-9357-904b9bb8a0f7
* comment faire le .debGravatar courant2001-12-21
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2362 85f007b7-540e-0410-9357-904b9bb8a0f7
* preparation V7.2Gravatar courant2001-12-21
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2361 85f007b7-540e-0410-9357-904b9bb8a0f7
* paquet DebianGravatar courant2001-12-21
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2360 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ 7.2Gravatar herbelin2001-12-19
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2336 85f007b7-540e-0410-9357-904b9bb8a0f7
* package Debian 7.1, correction pb compilation native sur certaines architecturesGravatar courant2001-12-13
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2292 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar courant2001-12-11
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2288 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ docGravatar herbelin2001-10-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2097 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout INSTALL.winGravatar herbelin2001-09-27
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2083 85f007b7-540e-0410-9357-904b9bb8a0f7
* tools pas fait automatiquementGravatar herbelin2001-09-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2078 85f007b7-540e-0410-9357-904b9bb8a0f7
* Compatibilite WindowsGravatar herbelin2001-09-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2076 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ contribGravatar herbelin2001-09-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2075 85f007b7-540e-0410-9357-904b9bb8a0f7
* Nouvel emplacement pour coq.specGravatar herbelin2001-09-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2066 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ V7.1Gravatar herbelin2001-09-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2064 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ V7.1Gravatar herbelin2001-09-20
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2034 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ V7.1Gravatar herbelin2001-09-20
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2032 85f007b7-540e-0410-9357-904b9bb8a0f7
* Nouveau coq.spec avec les droits de rootGravatar herbelin2001-09-04
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1921 85f007b7-540e-0410-9357-904b9bb8a0f7
* ajout pour le cdromGravatar mayero2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1726 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar courant2001-04-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1723 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-24 00:58:01 +0000