coq - The formal proof system

Age	Commit message (Expand)	Author
2016-12-05	Change module for Coq loop	Paul Steckler
2016-12-05	the -byte option is deprecated	Paul Steckler
2016-11-04	Add documentation for [Set Warnings] and the -w option.	Cyprien Mangin
2016-01-06	Fix description of command-line options in the manual.	Guillaume Melquiond
2015-12-11	Remove Set Virtual Machine from doc, since the command itself has been removed.	Maxime Dénès
2015-09-28	Make -load-vernac-object respect the loadpath.	Guillaume Melquiond
2015-09-25	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-04-02	Fix documentation of -R and -Q.	Guillaume Melquiond
2015-04-01	Fixing a few typos + some uniformization of writing in doc.	Hugo Herbelin
2015-01-29	Fix index of reference manual.	Guillaume Melquiond
2014-11-17	Documenting the -color option.	Pierre-Marie Pédrot
2014-11-17	Documenting use of colors in Coq.	Pierre-Marie Pédrot
2014-09-29	Documenting option -type-in-type.	Hugo Herbelin
2014-09-11	Removing remaining documentation of the XML plugin.	Pierre-Marie Pédrot
2014-09-03	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-08-16	Removing documentation related to the deprecated State machinery.	Pierre-Marie Pédrot
2014-08-05	Making references to Proof General and CoqIDE uniform in Reference Manual.	Hugo Herbelin
2014-06-13	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
2013-04-04	Small doc fix : module subtyping cannot force access of opaques	letouzey
2013-04-02	Revised infrastructure for lazy loading of opaque proofs	letouzey
2012-04-12	lib directory is cut in 2 cma.	pboutill
2012-03-19	RefMan: Environment variables description update	pboutill
2012-01-21	Coqtop and coqc: cleaning description of options in RefMan and manpages.	pboutill
2011-11-28	doc: two minor fixes to make my latex happy	letouzey
2011-11-21	/home/pirbo/.coqrc* are read again	pboutill
2011-11-21	-user option removal	pboutill
2011-11-20	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-04-14	Add directories in COQPATH to search path.	herbelin
2011-04-12	remove old traces of SearchIsos (never ported to 7.x nor 8.x)	letouzey
2011-04-03	Update documentation concerning proofs loading (cf last commit)	letouzey
2010-05-18	Some ocamldoc comments + Fixing name of .coqrc.version file in refman	pboutill
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2009-10-29	Fixed some typos in the reference manual.	gmelquio
2009-08-29	Fix minor spelling error	glondu
2008-06-29	Lissage de la gestion des chemins de chargement de fichiers :	herbelin
2008-05-23	doc of coqchk + improved module cache and computation of module sets	barras
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-07-12	Documentation machine virtuelle	herbelin
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