coq/distrib/RH/do_build, branch master

Suppression du répertoire distrib: il fait désormais partie du projet coq-dev-tools sur GForge

2006-06-09T16:59:42+00:00

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

* empty log message *

2004-03-24T18:11:46+00:00

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

install de pcoq incorrect + spec rpm

2004-03-16T10:24:56+00:00

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

meilleure separation de compil et install de coq, coqide et coq-interface

2004-01-27T18:41:26+00:00

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

pas ide

2004-01-06T17:26:22+00:00

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

aide contextuelle / menus compilation + print + export

2003-02-24T16:52:14+00:00

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

-reals all

2003-02-03T10:12:56+00:00

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

'make check' echoue si au moins un test echoue.

2002-06-04T09:01:52+00:00

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

modif rpm

2001-04-25T11:02:14+00:00

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