coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-05-16	Add redirects for HTML pages that were moved.	Théo Zimmermann

2020-05-14	Move Canonical structures file into new location.	Théo Zimmermann

2019-05-10	[Attributes] Allow explicit value for two-valued attributes	Vincent Laporte
	Attributes that enable/disable a feature can have an explicit value (default is enable when the attribute is present). Three-valued boolean attributes do not support this: what would `#[local(false)]` mean?
2019-05-10	[User manual] Fix two warnings related to canonical structures	Vincent Laporte

2019-03-30	[Manual] Typo	Vincent Laporte

2019-02-28	[sphinx] Add warn option to coqtop directive.	Théo Zimmermann
	By default Coq warnings are made fatal when building the manual. If you want to show a command resulting in a warning, use the warn option. Preexisting warnings are either fixed or marked as expected.
2018-09-20	[doc] Include the rst and LaTeX preambles automatically in all files	Clément Pit-Claudel

2018-08-31	Uniformized many spelling variants. Added .. warning:: and .. seealso:: ↵	Zeimer
	directives in many places. Disambiguated terminology: disequality now means <> while inequality means < <= > >=. Fixed some more grammar and spelling issues.
2018-07-26	Improved chapters 'Implicit Coercions' and 'Canonical Structures' of the ↵	Zeimer
	Reference Manual.
2018-03-22	[Sphinx] Add chapter 19	Maxime Dénès
	Thanks to Laurent Théry for porting this chapter.
2018-03-22	[Sphinx] Move chapter 19 to new infrastructure	Maxime Dénès