coq - The formal proof system

Age	Commit message (Expand)	Author
2006-06-09	Suppression du répertoire distrib: il fait désormais partie du projet coq-d...	notin
2003-06-27	* empty log message *	courant
2003-01-31	preparation pkg deb for 7.4	courant
2002-10-07	* empty log message *	courant
2002-10-02	debian pkg now recommends proof general	courant
2002-06-04	'make check' echoue si au moins un test echoue.	courant
2002-03-12	* empty log message *	courant
2002-01-23	paquet Debian 7.2-3	courant
2002-01-18	* empty log message *	courant
2001-12-21	* empty log message *	courant
2001-12-21	preparation V7.2	courant
2001-12-21	paquet Debian	courant
2001-12-13	package Debian 7.1, correction pb compilation native sur certaines architectures	courant
2001-12-11	* empty log message *	courant
2001-04-25	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-24	ajout necessaire pour paquet debian	courant