coq - The formal proof system

Age	Commit message (Expand)	Author
2017-12-22	Add printers to dev/db	Gaëtan Gilbert
2017-12-22	Reorder dev/db	Gaëtan Gilbert
2017-12-22	Cleanup debug printers a bit, add generated mli.	Gaëtan Gilbert
2017-11-08	Adding a debugging printer for ident maps whose codomain type is unknown.	Hugo Herbelin
2017-07-14	Adding debug printers related to universes in the default debugger source file.	Pierre-Marie Pédrot
2016-11-08	Introducing a new EConstr.t type to perform the nf_evar operation on demand.	Pierre-Marie Pédrot
2016-10-08	Merge branch 'v8.6'	Pierre-Marie Pédrot
2016-10-08	Adding debugging printer for Genarg.ArgT.t.	Hugo Herbelin
2016-07-26	No more dev/printers.cma	Pierre Letouzey
2015-12-08	Merge branch 'v8.5'	Pierre-Marie Pédrot
2015-12-07	Fixing a minor problem in Makefile.build that was prevening "dev/printers.cma...	Matej Kosik
2015-09-20	Better debug printers for module paths.	Maxime Dénès
2014-12-16	More printers for ltac signatures.	Hugo Herbelin
2014-11-23	Add printer for transparent state for ocamldebug.	Hugo Herbelin
2014-11-22	Specific printer of Evar.Set.t for ocamldebug + more information in	Hugo Herbelin
2014-10-13	Adding printers for ppproofview.	Hugo Herbelin
2014-10-09	Adding printer for named_context_val and Goal.goal in debugger.	Hugo Herbelin
2014-10-07	Adding a printer for hints.	Hugo Herbelin
2014-08-26	Debug RAKAM	Pierre Boutillier
2014-04-25	Adding a debug printer for futures.	Pierre-Marie Pédrot
2014-04-05	Printers for ltac environments.	Hugo Herbelin
2014-04-02	A debug printer for Evd.Filter.t	Pierre Boutillier
2014-04-01	Updated debugging printers	Hugo Herbelin
2014-02-24	app_node, stack, state printers	Pierre Boutillier
2014-01-11	'Pretty' printer for wf_paths	Pierre
2013-11-30	Adding printing of ltac envs to debugger.	Pierre-Marie Pédrot
2013-06-19	Adding genarg printer to debugger.	ppedrot
2012-04-12	lib directory is cut in 2 cma.	pboutill
2011-07-16	Finally, pr_goal seems to work for printing v8.2 style goal in debugger.	herbelin
2010-12-23	Change of nomenclature: rawconstr -> glob_constr	glondu
2010-10-04	Install a printer for fconstr (ppconstr was installed twice)	glondu
2010-06-29	Made tclABSTRACT normalize evars before saying it does not support	herbelin
2010-06-12	Added debugging printer for the idmap used at evar definition time for	herbelin
2010-05-03	ocamldoc related fixes	pboutill
2009-11-13	Remove useless ppevd (which is identical to ppevm)	glondu
2009-11-11	Fixed bug #2168 (closing a section may have as side-effect the erasure	herbelin
2009-10-21	This big commit addresses two problems:	soubiran
2008-09-02	Propagating commit 11343 from branch v8.2 to trunk (wish 1934 about	herbelin
2008-06-06	ajout d'un printer pour les contraintes d'univers + correction d'un bug sur l...	soubiran
2008-04-13	Bugs, nettoyage, et améliorations diverses	herbelin
2007-10-03	Ajout de eelim, ecase, edestruct et einduction (expérimental).	herbelin
2007-01-19	Export de l'afficheur de substitutions de noms de modules pour le débogueur	herbelin
2006-04-28	Standardisation du nom des méthodes de Evd	herbelin
2006-01-30	Ajout ppenv	herbelin
2006-01-29	Ajout printer Idset.t	herbelin
2006-01-11	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin
2006-01-04	Affichage concis des locations (si jamais ppterm/pprawterm sont débranchés)	herbelin
2005-12-26	Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...	herbelin
2005-02-18	Ajout constant printer	herbelin
2005-02-18	Added bigint printer	herbelin