coq - The formal proof system

Age	Commit message (Expand)	Author
2020-05-10	Remove (outdated) timestamps from man pages	Kartik Singhal
2020-04-02	Minimal fix to man pages.	Théo Zimmermann
2020-02-17	Merge PR #11593: Update bug report address in coqwc man page.	Théo Zimmermann
2020-02-13	[coqdep] Remove support for `-c` ocamldep replacement.	Emilio Jesus Gallego Arias
2020-02-13	Update bug report address in coqwc man page.	Gaëtan Gilbert
2020-02-07	[coqdep] Remove dumpgraph and broken options	Emilio Jesus Gallego Arias
2019-11-21	Document -vos flag for coqdep	Gaëtan Gilbert
2019-05-23	Fixing typos - Part 2	JPR
2019-02-22	[library] Remove `-boot` option.	Emilio Jesus Gallego Arias
2019-01-30	[toplevel] Deprecate the `-compile` flag in favor of `coqc`.	Emilio Jesus Gallego Arias
2018-10-23	[dune] Install man pages + remove two obsolete ones.	Emilio Jesus Gallego Arias
2018-06-25	Archive the `gallina` tool	Vincent Laporte
2018-05-16	Minor update of the documentation/man about the resource file.	Hugo Herbelin
2018-03-06	Add CHANGES and man entry for coqdep learning _CoqProject.	Gaëtan Gilbert
2017-12-10	[build] Remove coqmktop in favor of ocamlfind.	Emilio Jesus Gallego Arias
2017-12-01	Documenting the -Q flag of coqchk.	Pierre-Marie Pédrot
2017-11-29	Documenting the possibility to pass filenames to coqchk.	Pierre-Marie Pédrot
2017-10-11	Remove GeoProof support.	Maxime Dénès
2017-09-29	Typo in coqdep man	Gaëtan Gilbert
2017-08-01	[flags] Remove XML output flag.	Emilio Jesus Gallego Arias
2017-05-23	[vernac] Remove `Save.` command.	Emilio Jesus Gallego Arias
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