coq - The formal proof system

Age	Commit message (Expand)	Author
2018-03-13	[Sphinx] Move introduction to new infrastructure	Maxime Dénès
2017-09-22	Avoid generated names for html pages of the reference manual (bug #4742).	Guillaume Melquiond
2017-08-16	Merge PR #943: Reference Manual: minor wording improvements	Maxime Dénès
2017-07-31	Minor grammar fix: replace a "then" with a "so".	Sam Pablo Kuper
2017-07-29	Drop paragraph mentioning Addendum as separate doc.	Théo Zimmermann
2017-07-27	Add missing paragraph to introduction	Benjamin Pierce
2014-08-05	Making references to Proof General and CoqIDE uniform in Reference Manual.	Hugo Herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2008-08-06	correction : coqart is already published	jnarboux
2008-01-05	Standardisation du format des références croisées vers Figure, Section, Ch...	herbelin
2007-04-10	Eliminated warning messages from Hevea. Most warning messages were	emakarov
2006-02-24	Modification des propriétés des fichiers .tex (svn:executable)	notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin