coq - The formal proof system

Age	Commit message (Collapse)	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
	As suggested by @herbelin.
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
	- Many of them were broken, some of them after Pierre B's rework of mli for ocamldoc, but not only (many bad annotation, many files with no svn property about Id, etc) - Useless for those of us that work with git-svn (and a fortiori in a forthcoming git-only setting) - Even in svn, they seem to be of little interest git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12972 85f007b7-540e-0410-9357-904b9bb8a0f7
2008-08-06	correction : coqart is already published	jnarboux
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11307 85f007b7-540e-0410-9357-904b9bb8a0f7
2008-01-05	Standardisation du format des références croisées vers Figure, Section, ↵	herbelin
	Chapter Remplacement pageref par ref parce que pageref n'a pas de sens pour la version HTML git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10421 85f007b7-540e-0410-9357-904b9bb8a0f7
2007-04-10	Eliminated warning messages from Hevea. Most warning messages were	emakarov
	from commands about headers; where appropriate, surrounded those by %BEGIN LATEX ... %END LATEX. Removed some \newcommands that were ignored. Removed redefinitions of \land, \lor, \lnot: there are nicely handled by Hevea. Split headers.tex file into headers.sty (for LaTeX) and headers.hva (for Hevea). This allowed removing comments like %BEGIN LATEX and %HEVEA and also commands \makeatletter, \makeatother. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9752 85f007b7-540e-0410-9357-904b9bb8a0f7
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
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8609 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin
	principale de Coq et publication des sources (HH) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8606 85f007b7-540e-0410-9357-904b9bb8a0f7