coq/distrib/debian/rules, branch master The formal proof system Suppression du répertoire distrib: il fait désormais partie du projet coq-dev-tools sur GForge 2006-06-09T16:59:42+00:00 notin 2006-06-09T16:59:42+00:00 654133b47df896e4ca074502aa5dcf74f8beac30 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8943 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8943 85f007b7-540e-0410-9357-904b9bb8a0f7
*** empty log message *** 2003-06-27T13:35:03+00:00 courant 2003-06-27T13:35:03+00:00 afe6690652949d92bfbcf34194836364884b7111 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4209 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4209 85f007b7-540e-0410-9357-904b9bb8a0f7
'make check' echoue si au moins un test echoue. 2002-06-04T09:01:52+00:00 courant 2002-06-04T09:01:52+00:00 c71055b394f3f93c11cc3923e5878e45203dc881 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 
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
*** empty log message *** 2002-03-12T10:18:54+00:00 courant 2002-03-12T10:18:54+00:00 504114a41692bbc1e1621d84cadff4773f23bf35 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2525 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2525 85f007b7-540e-0410-9357-904b9bb8a0f7
paquet Debian 2001-12-21T13:07:08+00:00 courant 2001-12-21T13:07:08+00:00 36c5fed3457e51adc6481826bfd74e7d1f73d274 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2360 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2360 85f007b7-540e-0410-9357-904b9bb8a0f7
package Debian 7.1, correction pb compilation native sur certaines architectures 2001-12-13T09:26:24+00:00 courant 2001-12-13T09:26:24+00:00 cf4fbeb0406d58e9d1ae73886a4e701fb6bb14d1 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2292 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2292 85f007b7-540e-0410-9357-904b9bb8a0f7
*** empty log message *** 2001-12-11T13:00:36+00:00 courant 2001-12-11T13:00:36+00:00 424a0466b0bcf6b4f10855610f1af7ec4e7ad736 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2288 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2288 85f007b7-540e-0410-9357-904b9bb8a0f7
make -j world -> make world en raison de bug ocamlc/ocamlopt 2001-04-25T13:54:42+00:00 courant 2001-04-25T13:54:42+00:00 e44fdff7d076a27ca994ca4d129a687c1068bd5e git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1718 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1718 85f007b7-540e-0410-9357-904b9bb8a0f7
man pages for coq-interface and parser 2001-04-25T13:51:01+00:00 courant 2001-04-25T13:51:01+00:00 1d643c4751bd317efe6412aa09be0e726f366b53 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1717 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1717 85f007b7-540e-0410-9357-904b9bb8a0f7
- Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.byte 2001-04-25T07:35:06+00:00 courant 2001-04-25T07:35:06+00:00 b002b817ce305be3ba753dc1634a01b008b243bd - Deplacement pages de tools/ vers man/ - Modif distrib/Makefile pour Debian - Modif mode emacs pour Debian git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1710 85f007b7-540e-0410-9357-904b9bb8a0f7 
- Deplacement pages de tools/ vers man/
- Modif distrib/Makefile pour Debian
- Modif mode emacs pour Debian


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