coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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