coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Adding a debugging printer for ident maps whose codomain type is unknown.	Hugo Herbelin	2017-11-08
*	Adding debug printers related to universes in the default debugger source file.	Pierre-Marie Pédrot	2017-07-14
*	Introducing a new EConstr.t type to perform the nf_evar operation on demand.	Pierre-Marie Pédrot	2016-11-08
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-08
\|\
\| *	Adding debugging printer for Genarg.ArgT.t.	Hugo Herbelin	2016-10-08
* \|	No more dev/printers.cma	Pierre Letouzey	2016-07-26
\|/
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-12-08
\|\
\| *	Fixing a minor problem in Makefile.build that was prevening "dev/printers.cma...	Matej Kosik	2015-12-07
* \|	Better debug printers for module paths.	Maxime Dénès	2015-09-20
\|/
*	More printers for ltac signatures.	Hugo Herbelin	2014-12-16
*	Add printer for transparent state for ocamldebug.	Hugo Herbelin	2014-11-23
*	Specific printer of Evar.Set.t for ocamldebug + more information in	Hugo Herbelin	2014-11-22
*	Adding printers for ppproofview.	Hugo Herbelin	2014-10-13
*	Adding printer for named_context_val and Goal.goal in debugger.	Hugo Herbelin	2014-10-09
*	Adding a printer for hints.	Hugo Herbelin	2014-10-07
*	Debug RAKAM	Pierre Boutillier	2014-08-26
*	Adding a debug printer for futures.	Pierre-Marie Pédrot	2014-04-25
*	Printers for ltac environments.	Hugo Herbelin	2014-04-05
*	A debug printer for Evd.Filter.t	Pierre Boutillier	2014-04-02
*	Updated debugging printers	Hugo Herbelin	2014-04-01
*	app_node, stack, state printers	Pierre Boutillier	2014-02-24
*	'Pretty' printer for wf_paths	Pierre	2014-01-11
*	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