coq - The formal proof system

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