coq - The formal proof system

Age	Commit message (Expand)	Author
2018-03-15	[Sphinx] Move chapter 10 to new infrastructure	Maxime Dénès
2017-09-22	Avoid generated names for html pages of the reference manual (bug #4742).	Guillaume Melquiond
2017-07-28	Fix some coq-tex errors in the reference manual.	Guillaume Melquiond
2015-02-14	dependent destruction: Fix (part of) bug #3961, by fixing dependent *	Matthieu Sozeau
2015-01-29	Fix some broken Coq scripts in the reference manual.	Guillaume Melquiond
2014-08-25	"allows to", like "allowing to", is improper	Jason Gross
2014-05-08	Typo reference manual	Hugo Herbelin
2012-09-15	Port rewrites of tactic documentation from branch 8.4.	gmelquio
2012-07-05	ZArith + other : favor the use of modern names instead of compat notations	letouzey
2009-10-29	Fixed some typos in the reference manual.	gmelquio
2009-10-20	Repaired bug #2165 (buggy coq example in Tactic Examples doc chapter)	herbelin
2009-03-30	Document new quote construction	glondu
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey
2009-01-22	Fixes in the documentation of [dependent induction] and test-suite	msozeau
2008-09-14	A pass on documentation:	msozeau
2008-06-25	Typo in documentation (isn't it?)	glondu
2008-01-31	Debug implementation of dependent induction/dependent destruction and documen...	msozeau
2008-01-05	Standardisation du format des références croisées vers Figure, Section, Ch...	herbelin
2007-04-17	Changed many refman/*.tex files. Put \label and \index commands that immediat...	emakarov
2006-12-23	Doc for Combined Scheme.	msozeau
2006-09-07	Updating the doc about Function and co	courtieu
2006-06-07	Changements sur Functional xxx. Plus précis et plus exact.	courtieu
2006-06-06	Ajout de précisions dans la doc de functional scheme et consort +	courtieu
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin