coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Avoid generated names for html pages of the reference manual (bug #4742).	Guillaume Melquiond	2017-09-22
\|
*	typo	Matej Kosik	2016-06-07
\|
*	typography	Matej Kosik	2016-06-07
\|
*	Fix documentation.	Guillaume Melquiond	2015-07-08
\|
*	Remove spurious "Loading ML file" and "<W> Grammar extension" from the ↵	Guillaume Melquiond	2015-01-29
\| \| \| \|	reference manual.
*	Doc: Overfull lines in chapter on Canonical Structures.	Hugo Herbelin	2015-01-27
\|
*	Doc: Fixing some compilation problems with chapter Canonical	Hugo Herbelin	2015-01-24
\| \| \| \| \|	Structures. Text mode + a "Require Import" in a module which provokes suspect warnings "Exception Not_found".
*	"allows to", like "allowing to", is improper	Jason Gross	2014-08-25
\| \| \| \| \| \| \| \| \| \| \|	It's possible that I should have removed more "allows", as many instances of "foo allows to bar" could have been replaced by "foo bars" (e.g., "[Qed] allows to check and save a complete proof term" could be "[Qed] checks and saves a complete proof term"), but not always (e.g., "the optional argument allows to ignore universe polymorphism" should not be "the optional argument ignores universe polymorphism" but "the optional argument allows the caller to instruct Coq to ignore universe polymorphism" or something similar).
*	First stab at documenting Canonical Structures	Enrico Tassi	2013-11-29