coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Ajout de "Theorem id1 : t1 ... with idn : tn" pour partager la preuve	herbelin	2008-04-25
*	fixed script printing	corbinea	2008-01-17
*	Suppression des sauts de lignes superflus de Show Script (test-suite/output/T...	notin	2007-03-21
*	"suffices" implemented + syntax cleanup	corbinea	2007-01-28
*	decl mode: anonymous facts	corbinea	2007-01-25
*	Correction du bug #1315:	notin	2007-01-22
*	nouvelle indentation des scripts	barras	2006-12-12
*	affichage des ... dans les scripts	barras	2006-10-16
*	Suppression des lignes vides dans l'affichage des scripts	notin	2006-09-28
*	Declarative Proof Language: main commit	corbinea	2006-09-20
*	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin	2006-01-11
*	Renommage des Ppnew en Pp (et déplacement dans parsing); renommage des G_*...	herbelin	2005-12-26
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin	2005-12-26
*	Changement des named_context	gregoire	2005-12-02
*	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin	2005-11-08
*	restructuration des printers: proofs passe avant parsing	barras	2004-09-17