coq - The formal proof system

Age	Commit message (Expand)	Author
2015-12-10	CLEANUP: putting examples inside "figure" environment	Matej Kosik
2015-12-10	ENH: examples for 'strict positivity' were expanded	Matej Kosik
2015-07-31	Improve the table of content of the reference manual.	Guillaume Melquiond
2015-04-02	Make sure that hyperref creates the proper links to the documentation indexes.	Guillaume Melquiond
2015-02-17	Separate index for vernacular options.	Maxime Dénès
2015-02-10	Add section numbering to the refman PDF. (Fix for bug #2365)	Guillaume Melquiond
2014-12-09	refman: switch all source files to utf8	Pierre Letouzey
2014-07-24	Start documenting universe polymorphism.	Matthieu Sozeau
2014-04-28	Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)	Guillaume Melquiond
2014-01-05	refman: fist stab at Asynchronous Proofs	Enrico Tassi
2013-12-04	Documentation of the Derive plugin.	Arnaud Spiwack
2013-11-29	First stab at documenting Canonical Structures	Enrico Tassi
2012-09-15	Port rewrites of tactic documentation from branch 8.4.	gmelquio
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