coq - the Coq proof assistant

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