coq - The formal proof system

Age	Commit message (Expand)	Author
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