coq - The formal proof system

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