coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Remove some "Warning:" from the reference manual.	Guillaume Melquiond	2015-01-29
*	Fixing #3056	ppedrot	2013-06-06
*	Documentation of the "Local Definition" command.	ppedrot	2013-03-11
*	Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction".	herbelin	2010-06-08
*	Documentation of the ! annotation for functor application	letouzey	2010-02-11
*	Include can accept both Module and Module Type	letouzey	2010-01-07
*	Description of the new features of the module system (part two).	soubiran	2009-12-15
*	Description of the new features of the module system (first part).	soubiran	2009-12-15
*	Lissage de la gestion des chemins de chargement de fichiers :	herbelin	2008-06-29
*	- Documentation de admit et Print Assumptions.	herbelin	2008-06-09
*	Nouvelle doc pour les modules.	soubiran	2008-05-23
*	Correction bug 1838 + doc modules.	soubiran	2008-04-21
*	Made some places in the reference manual clearer. Corrected	emakarov	2007-05-11
*	MAJ du manuel de référence (modules+fixpoints+pose proof)	notin	2006-07-07
*	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin	2006-02-23