coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Propagating commit 11343 from branch v8.2 to trunk (wish 1934 about	herbelin	2008-09-02
*	ajout d'un printer pour les contraintes d'univers + correction d'un bug sur l...	soubiran	2008-06-06
*	Bugs, nettoyage, et améliorations diverses	herbelin	2008-04-13
*	Ajout de eelim, ecase, edestruct et einduction (expérimental).	herbelin	2007-10-03
*	Export de l'afficheur de substitutions de noms de modules pour le débogueur	herbelin	2007-01-19
*	Standardisation du nom des méthodes de Evd	herbelin	2006-04-28
*	Ajout ppenv	herbelin	2006-01-30
*	Ajout printer Idset.t	herbelin	2006-01-29
*	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin	2006-01-11
*	Affichage concis des locations (si jamais ppterm/pprawterm sont débranchés)	herbelin	2006-01-04
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...	herbelin	2005-12-26
*	Ajout constant printer	herbelin	2005-02-18
*	Added bigint printer	herbelin	2005-02-18
*	Réactivation d'un outil d'affichage pour le débogueur compatible avec ocaml...	herbelin	2005-01-02
*	Ajout pptac	herbelin	2003-01-19
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	Suppression des local_constraints, des ctxtty et du focus.	clrenard	2001-11-06
*	Prise en compte qualid	herbelin	2000-11-26
*	Renommage ppterm0 --> ppterm	herbelin	2000-03-07
*	rattrapage exceptions autres que UserError	filliatr	1999-12-14
*	pretty-printers pour le debugger	filliatr	1999-12-14
*	printers pour le debugger	filliatr	1999-09-08