coq - the Coq proof assistant

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