coq - The formal proof system

Age	Commit message (Expand)	Author
2014-09-03	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-08-05	Making references to Proof General and CoqIDE uniform in Reference Manual.	Hugo Herbelin
2012-03-19	RefMan: Environment variables description update	pboutill
2011-09-02	Bug 2589: Documentation patch of Hendrik Tews	pboutill
2011-07-07	coq_makefile documentation in Refman and -h	pboutill
2011-04-12	remove old traces of SearchIsos (never ported to 7.x nor 8.x)	letouzey
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2009-03-14	Coqdep: remove references to obsolete .zi and Require Implementation stuff	letouzey
2008-01-05	Standardisation du format des références croisées vers Figure, Section, Ch...	herbelin
2007-04-17	Changed many refman/*.tex files. Put \label and \index commands that immediat...	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