coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	* empty log message *	courant	2003-06-27
*	preparation pkg deb for 7.4	courant	2003-01-31
*	* empty log message *	courant	2002-10-07
*	debian pkg now recommends proof general	courant	2002-10-02
*	'make check' echoue si au moins un test echoue.	courant	2002-06-04
*	* empty log message *	courant	2002-03-12
*	paquet Debian 7.2-3	courant	2002-01-23
*	* empty log message *	courant	2002-01-18
*	* empty log message *	courant	2001-12-21
*	preparation V7.2	courant	2001-12-21
*	paquet Debian	courant	2001-12-21
*	package Debian 7.1, correction pb compilation native sur certaines architectures	courant	2001-12-13
*	* empty log message *	courant	2001-12-11
*	make -j world -> make world en raison de bug ocamlc/ocamlopt	courant	2001-04-25
*	man pages for coq-interface and parser	courant	2001-04-25
*	modif pour RPM et Debian	courant	2001-04-25
*	modif rpm	courant	2001-04-25
*	- Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.byte	courant	2001-04-25
*	ajout necessaire pour paquet debian	courant	2001-04-24