coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Solved problems with snippets giving errors in chapter 'Detailed examples of ↵	Zeimer	2018-07-21
\| \| \| \|	tactics' of the Reference Manual. Refreshed the section on the cardinality of the naturals. Removed the mention of specialize_eqs as it seems very bugged.
*	Rewrote examples about permutations, logic and type isomorphisms: changed ↵	Zeimer	2018-07-21
\| \| \| \|	the formatting and renamed the tactics to match modern naming conventions.
*	Improvements for the chapter 'Detailed examples of tactics' of the Reference ↵	Zeimer	2018-07-21
\| \| \| \|	Manual.
*	[Sphinx] Fix all remaining warnings.	Maxime Dénès	2018-04-14
\|
*	[sphinx] Fix many warnings.	Théo Zimmermann	2018-04-14
\| \| \| \| \|	Including cross-reference TODOs. I took down the number of warnings from 300 to 50.
*	[Sphinx] Add chapter 10	Maxime Dénès	2018-03-15
\| \| \| \|	Thanks to Calvin Beck for porting this chapter.
*	[Sphinx] Move chapter 10 to new infrastructure	Maxime Dénès	2018-03-15