coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	More fallout from elisp rename	Anders Kaseorg	2014-10-16
*	Removing the documentation of the XML plugin.	Pierre-Marie Pédrot	2014-09-08
*	sed -i.toto -e 's/Objective Caml/\{\ocaml\}/g' doc/refman/RefMan-*.tex	Pierre Boutillier	2014-09-03
*	Improve RefMan section about Coq_makefile	Pierre Boutillier	2014-09-03
*	Making references to Proof General and CoqIDE uniform in Reference Manual.	Hugo Herbelin	2014-08-05
*	RefMan: Environment variables description update	pboutill	2012-03-19
*	Bug 2589: Documentation patch of Hendrik Tews	pboutill	2011-09-02
*	coq_makefile documentation in Refman and -h	pboutill	2011-07-07
*	remove old traces of SearchIsos (never ported to 7.x nor 8.x)	letouzey	2011-04-12
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Coqdep: remove references to obsolete .zi and Require Implementation stuff	letouzey	2009-03-14
*	Standardisation du format des références croisées vers Figure, Section, Ch...	herbelin	2008-01-05
*	Changed many refman/*.tex files. Put \label and \index commands that immediat...	emakarov	2007-04-17
*	Modification des propriétés des fichiers .tex (svn:executable)	notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty	2006-02-24
*	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin	2006-02-23