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
*	- 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
*	Fichiers contrib//.ml4 remplacent les contrib//.v	herbelin	2002-05-29