coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Suppression du répertoire distrib: il fait désormais partie du projet ↵	notin	2006-06-09
\| \| \| \| \| \|	coq-dev-tools sur GForge git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8943 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	courant	2003-06-27
\| \| \| \|	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.	courant	2002-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
*	* empty log message *	courant	2002-03-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2525 85f007b7-540e-0410-9357-904b9bb8a0f7
*	paquet Debian	courant	2001-12-21
\| \| \| \|	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	courant	2001-12-13
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2292 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	courant	2001-12-11
\| \| \| \|	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	courant	2001-04-25
\| \| \| \|	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	courant	2001-04-25
\| \| \| \|	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	courant	2001-04-25
\| \| \| \| \| \| \| \| \|	- 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
*	ajout necessaire pour paquet debian	courant	2001-04-24
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1688 85f007b7-540e-0410-9357-904b9bb8a0f7