coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Avoid generated names for html pages of the reference manual (bug #4742).	Guillaume Melquiond	2017-09-22
*	[toplevel] Remove unusable option -notop	Emilio Jesus Gallego Arias	2017-03-14
*	Change module for Coq loop	Paul Steckler	2016-12-05
*	the -byte option is deprecated	Paul Steckler	2016-12-05
*	Add documentation for [Set Warnings] and the -w option.	Cyprien Mangin	2016-11-04
*	Fix description of command-line options in the manual.	Guillaume Melquiond	2016-01-06
*	Remove Set Virtual Machine from doc, since the command itself has been removed.	Maxime Dénès	2015-12-11
*	Make -load-vernac-object respect the loadpath.	Guillaume Melquiond	2015-09-28
*	The -require option now accepts a logical path instead of a physical one.	Pierre-Marie Pédrot	2015-09-25
*	Updating the documentation and the toolchain w.r.t. the change in -compile.	Pierre-Marie Pédrot	2015-09-25
*	Fix documentation of -R and -Q.	Guillaume Melquiond	2015-04-02
*	Fixing a few typos + some uniformization of writing in doc.	Hugo Herbelin	2015-04-01
*	Fix index of reference manual.	Guillaume Melquiond	2015-01-29
*	Documenting the -color option.	Pierre-Marie Pédrot	2014-11-17
*	Documenting use of colors in Coq.	Pierre-Marie Pédrot	2014-11-17
*	Documenting option -type-in-type.	Hugo Herbelin	2014-09-29
*	Removing remaining documentation of the XML plugin.	Pierre-Marie Pédrot	2014-09-11
*	sed -i.toto -e 's/Objective Caml/\{\ocaml\}/g' doc/refman/RefMan-*.tex	Pierre Boutillier	2014-09-03
*	Update RefMan with respect to new loadpath management	Pierre Boutillier	2014-09-03
*	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