coq - The formal proof system

Age	Commit message (Expand)	Author
2016-01-15	Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.	Maxime Dénès
2016-01-15	Fix #4408.	Pierre Courtieu
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
2014-09-08	Removing dead code relative to the XML plugin.	Pierre-Marie Pédrot
2014-08-16	Removing documentation related to the deprecated State machinery.	Pierre-Marie Pédrot
2014-06-13	Deprecate useless option -quality.	Guillaume Melquiond
2014-06-13	Remove documentation for the unsupported options -byte and -opt.	Guillaume Melquiond
2013-12-20	Coqdep always uses / as dir_sep	Pierre Boutillier
2012-01-21	Coqtop and coqc: cleaning description of options in RefMan and manpages.	pboutill
2012-01-07	Fix typo	glondu
2011-11-21	-user option removal	pboutill
2011-07-07	fixed coqchk usage and man page + added option -coqlib	barras
2011-04-12	remove old traces of SearchIsos (never ported to 7.x nor 8.x)	letouzey
2011-01-11	Remove references to -ide option of coqmktop	glondu
2010-06-02	Fix typos	glondu
2010-02-10	splitted -> split	glondu
2009-12-01	fix coqchk options documentation	barras
2009-10-27	Added option --external to coqdoc to bind an url to an external library.	herbelin
2009-03-14	Coqdep: remove references to obsolete .zi and Require Implementation stuff	letouzey
2009-02-10	man page of coqchk	barras
2008-08-18	Renaming parser -> coq-parser	glondu
2008-08-12	Add coqide manpage (taken from Debian)	glondu
2008-08-08	Various fixes in manpages	glondu
2006-10-25	coqdep -slash	barras
2006-10-11	Ajout de pages de man pour les exécutables coq	notin
2006-05-02	Ajout d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ...	notin
2006-04-27	Ajout de la doc de l'option -stdout de coqdoc	notin
2006-01-05	Adding a man page for doqdoc (JMN)	coq
2004-03-29	tools/coq_vo2xml removed since no longer in use.	sacerdot
2004-03-16	page de man pour coqdoc	filliatr
2004-03-16	page de man pour coqwc	filliatr
2003-04-07	Typo	herbelin
2001-05-11	application patch Claudio	filliatr
2001-04-25	man pages for coq-interface and parser	courant
2001-04-25	Ajout pages de man coq_makefile et coqmktop	courant
2001-04-25	- Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.byte	courant