coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Adding printing of ltac envs to debugger.	Pierre-Marie Pédrot	2013-11-30
*	Adding genarg printer to debugger.	ppedrot	2013-06-19
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Finally, pr_goal seems to work for printing v8.2 style goal in debugger.	herbelin	2011-07-16
*	Change of nomenclature: rawconstr -> glob_constr	glondu	2010-12-23
*	Install a printer for fconstr (ppconstr was installed twice)	glondu	2010-10-04
*	Made tclABSTRACT normalize evars before saying it does not support	herbelin	2010-06-29
*	Added debugging printer for the idmap used at evar definition time for	herbelin	2010-06-12
*	ocamldoc related fixes	pboutill	2010-05-03
*	Remove useless ppevd (which is identical to ppevm)	glondu	2009-11-13
*	Fixed bug #2168 (closing a section may have as side-effect the erasure	herbelin	2009-11-11
*	This big commit addresses two problems:	soubiran	2009-10-21
*	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