coq - The formal proof system

Age	Commit message (Expand)	Author
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
2005-01-02	Réactivation d'un outil d'affichage pour le débogueur compatible avec ocaml...	herbelin
2003-01-19	Ajout pptac	herbelin
2002-08-02	Modules dans COQ\!\!\!\!	coq
2001-11-06	Suppression des local_constraints, des ctxtty et du focus.	clrenard
2000-11-26	Prise en compte qualid	herbelin
2000-03-07	Renommage ppterm0 --> ppterm	herbelin
1999-12-14	rattrapage exceptions autres que UserError	filliatr
1999-12-14	pretty-printers pour le debugger	filliatr
1999-09-08	printers pour le debugger	filliatr