coq - The formal proof system

Age	Commit message (Expand)	Author
2012-05-10	Addedum to documentation of bullets: I now use the dedicated coq_example	aspiwack
2012-04-13	Restores pdf bookmarks in the reference manual.	aspiwack
2010-09-06	Added doc/refman/coqide.eps and coqide-queries.eps to remove the need for png...	emakarov
2010-06-03	plugin groebner updated and renamed as nsatz; first version of the doc of nsa...	pottier
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2009-09-11	Removed Gappa from the external provers supported by the dp plugin. Tactic ga...	gmelquio
2008-07-07	Micromega: doc + test-suite update	fbesson
2008-04-17	documentation tactique gappa	filliatr
2008-04-17	Add almost empty Classes.tex for documentation of type classes.	msozeau
2008-01-29	Added full documentation for mathematical mode (draft version)	corbinea
2007-04-17	Changed many refman/*.tex files. Put \label and \index commands that immediat...	emakarov
2007-04-12	Cleaned doc/common/title.tex file. Increased the space under headers	emakarov
2007-04-10	Eliminated warning messages from Hevea. Most warning messages were	emakarov
2006-07-11	Documentation de lazymatch et des extensions de idtac et fail	herbelin
2006-04-07	- Documentation of the Program tactics.	msozeau
2006-03-14	r8637@thot: notin \| 2006-03-14 16:00:49 +0100	notin
2006-03-03	Suppression de la coupure entre base et addendum (quitte à le remettre si de...	herbelin
2006-02-23	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