coq/distrib/debian, 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
preparation pkg deb for 7.4 2003-01-31T15:57:31+00:00 courant 2003-01-31T15:57:31+00:00 f358f9ac760e24a9e82d44e0c5da8c49e145913c git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3637 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3637 85f007b7-540e-0410-9357-904b9bb8a0f7
*** empty log message *** 2002-10-07T11:36:54+00:00 courant 2002-10-07T11:36:54+00:00 54037f0ea8b9532006f0de0319e65f2547b6eaed git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3098 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3098 85f007b7-540e-0410-9357-904b9bb8a0f7
debian pkg now recommends proof general 2002-10-02T15:26:07+00:00 courant 2002-10-02T15:26:07+00:00 e0f96ba0b43badac2987c54b56bee4875ba0bc95 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3066 85f007b7-540e-0410-9357-904b9bb8a0f7 
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. 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 7.2-3 2002-01-23T09:09:31+00:00 courant 2002-01-23T09:09:31+00:00 58c4a23cc2d7b01bbc6a7e60d6d074bb0a0e5b26 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2424 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2424 85f007b7-540e-0410-9357-904b9bb8a0f7
*** empty log message *** 2002-01-18T14:16:51+00:00 courant 2002-01-18T14:16:51+00:00 a4c788c1492a85f7dcf2f61af218ce5d9a762e1a git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2405 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2405 85f007b7-540e-0410-9357-904b9bb8a0f7
*** empty log message *** 2001-12-21T14:16:13+00:00 courant 2001-12-21T14:16:13+00:00 e70320d845e3f3109d873380e3ef29f0d1f18831 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2363 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2363 85f007b7-540e-0410-9357-904b9bb8a0f7