coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Removing documentation related to the deprecated State machinery.	Pierre-Marie Pédrot	2014-08-16
*	Making references to Proof General and CoqIDE uniform in Reference Manual.	Hugo Herbelin	2014-08-05
*	Deprecate useless option -quality.	Guillaume Melquiond	2014-06-13
*	Remove documentation for the unsupported options -byte and -opt.	Guillaume Melquiond	2014-06-13
*	Deprecate options -dont, -lazy, -force-load-proofs.	Guillaume Melquiond	2014-06-13
*	Small doc fix : module subtyping cannot force access of opaques	letouzey	2013-04-04
*	Revised infrastructure for lazy loading of opaque proofs	letouzey	2013-04-02
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	RefMan: Environment variables description update	pboutill	2012-03-19
*	Coqtop and coqc: cleaning description of options in RefMan and manpages.	pboutill	2012-01-21
*	doc: two minor fixes to make my latex happy	letouzey	2011-11-28
*	/home/pirbo/.coqrc* are read again	pboutill	2011-11-21
*	-user option removal	pboutill	2011-11-21
*	coqrc in the right XDG_CONFIG_HOME/coq folder	pboutill	2011-11-20
*	Add support for XDG_DATA_HOME and XDG_DATA_DIRS.	pboutill	2011-11-20
*	Add directories in COQPATH to search path.	herbelin	2011-04-14
*	remove old traces of SearchIsos (never ported to 7.x nor 8.x)	letouzey	2011-04-12
*	Update documentation concerning proofs loading (cf last commit)	letouzey	2011-04-03
*	Some ocamldoc comments + Fixing name of .coqrc.version file in refman	pboutill	2010-05-18
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Fixed some typos in the reference manual.	gmelquio	2009-10-29
*	Fix minor spelling error	glondu	2009-08-29
*	Lissage de la gestion des chemins de chargement de fichiers :	herbelin	2008-06-29
*	doc of coqchk + improved module cache and computation of module sets	barras	2008-05-23
*	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
*	Documentation machine virtuelle	herbelin	2006-07-12
*	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