coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Moved JProver to a user contribution (as was decided a long time ago)	herbelin	2009-01-04
*	- Fixed bugs and compatibilities issues in	herbelin	2008-12-30
*	Suppression de commentaires inutiles	notin	2007-12-19
*	- Propagation des evars non résolues vers les with_bindings; permet par exemple	herbelin	2007-05-20
*	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin	2006-01-11
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...	herbelin	2005-12-26
*	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin	2005-11-08
*	inclusion de meta_map dans evar_defs	barras	2004-09-12
*	Redirected some of the verbose jprover output through the Pp module.	corbinea	2003-10-30
*	Jprover bugfix (hopefully !)	corbinea	2003-10-23
*	typo	courant	2002-11-13
*	Fichiers contrib//.ml4 remplacent les contrib//.v	herbelin	2002-05-29
*	Fichiers contrib//.ml4 remplacent les contrib//.v	herbelin	2002-05-29
*	jLogic.mli remplace par jolic.mli	herbelin	2002-04-17
*	Refine the procedure that generalizes context to current goal.	huang	2002-04-15
*	* empty log message *	huang	2002-04-04
*	Add citations	huang	2002-04-04
*	An intuitionistic first-order theorem prover -- JProver.	huang	2002-03-22