coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Start documenting universe polymorphism.	Matthieu Sozeau	2014-07-24
*	Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)	Guillaume Melquiond	2014-04-28
*	refman: fist stab at Asynchronous Proofs	Enrico Tassi	2014-01-05
*	Documentation of the Derive plugin.	Arnaud Spiwack	2013-12-04
*	First stab at documenting Canonical Structures	Enrico Tassi	2013-11-29
*	Port rewrites of tactic documentation from branch 8.4.	gmelquio	2012-09-15
*	Addedum to documentation of bullets: I now use the dedicated coq_example	aspiwack	2012-05-10
*	Restores pdf bookmarks in the reference manual.	aspiwack	2012-04-13
*	Added doc/refman/coqide.eps and coqide-queries.eps to remove the need for png...	emakarov	2010-09-06
*	plugin groebner updated and renamed as nsatz; first version of the doc of nsa...	pottier	2010-06-03
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Removed Gappa from the external provers supported by the dp plugin. Tactic ga...	gmelquio	2009-09-11
*	Micromega: doc + test-suite update	fbesson	2008-07-07
*	documentation tactique gappa	filliatr	2008-04-17
*	Add almost empty Classes.tex for documentation of type classes.	msozeau	2008-04-17
*	Added full documentation for mathematical mode (draft version)	corbinea	2008-01-29
*	Changed many refman/*.tex files. Put \label and \index commands that immediat...	emakarov	2007-04-17
*	Cleaned doc/common/title.tex file. Increased the space under headers	emakarov	2007-04-12
*	Eliminated warning messages from Hevea. Most warning messages were	emakarov	2007-04-10
*	Documentation de lazymatch et des extensions de idtac et fail	herbelin	2006-07-11
*	- Documentation of the Program tactics.	msozeau	2006-04-07
*	r8637@thot: notin \| 2006-03-14 16:00:49 +0100	notin	2006-03-14
*	Suppression de la coupure entre base et addendum (quitte à le remettre si de...	herbelin	2006-03-03
*	Mise à jour des Makefile, ajout licences, corrections mineures suite à	herbelin	2006-02-23
*	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin	2006-02-23