coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin	2006-01-11
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin	2005-12-26
*	Nouvelle en-tête	herbelin	2004-07-16
*	message d'erreur de garde des cofix	barras	2003-09-22
*	Renoncement à distinguer les types "constr" et "types"; nettoyage	herbelin	2002-08-13
*	Corrections post contournement des streams avec ++	herbelin	2001-12-19
*	compat ocaml 3.03	filliatr	2001-12-13
*	Retablissement de minicoq	coq	2001-05-29
*	amelioration de la consommation memoire de la conversion en eta-expansant	barras	2001-03-23
*	entetes	filliatr	2001-03-15
*	print_id, print_sp -> pr_id, pr_sp	herbelin	2000-11-23
*	suppression des (* open Generic *)	filliatr	2000-11-02
*	Renommage canonique :	herbelin	2000-10-18
*	Correction pour make doc	herbelin	2000-09-10
*	Suppression de Abst	herbelin	2000-09-10
*	Ajout d'un LetIn primitif.	herbelin	2000-09-10
*	retablissement make doc et make minicoq	filliatr	2000-07-25
*	retablissement minicoq (pour Jacek)	filliatr	2000-07-21
*	Essai de simplification compte tenu de l'info de location	herbelin	2000-06-29
*	Modification messages d'erreurs, possibilité de n'importe quel constr dans l...	herbelin	2000-05-26
*	Portage (pour la forme) de minicoq	herbelin	2000-03-31
*	modules profile, Coqinit et Coqtop (=main)	filliatr	1999-12-03