coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Fixed many spelling and grammar errors in the chapters 'Vernacular ↵	Zeimer	2018-07-20
\| \| \| \| \| \| \|	commands', 'Proof handling' and 'Tactics' of the Reference Manual. Fixed some more serious errors related to tactics functional induction, unfold, hnf and red. Added some error messages and remarks for tactics btauto, rtauto and red.
*	[sphinx] Fix new warnings related to tacn, cmd, opt...	Théo Zimmermann	2018-05-09
\|
*	[sphinx] Re-indent to get much better rendering.	Théo Zimmermann	2018-05-05
\| \| \| \| \|	Add some more cmd references. And use deprecated directives.
*	Clean-up around cmd documentation.	Théo Zimmermann	2018-05-05
\| \| \| \|	In particular, remove trailing dots.
*	Remove duplicate Extraction commands documentation.	Théo Zimmermann	2018-05-05
\|
*	[sphinx] Use references for Print.	Théo Zimmermann	2018-05-05
\|
*	Fix error messages and make them consistent.	Théo Zimmermann	2018-05-05
\| \| \| \|	All the error messages start with a capitalized letter and end with a dot.
*	Clean-up around options.	Théo Zimmermann	2018-05-05
\| \| \| \| \| \|	- Remove all trailing dots. - There is only one Bullet Behavior option. - Replaces `@natural` and `@integer` by `@num`.
*	Merge PR #7270: Sphinx doc fix indices	Maxime Dénès	2018-04-16
\|\
\| *	[Sphinx] Clean-up indices	Maxime Dénès	2018-04-16
\| \|
* \|	Merge PR #7264: [Sphinx] Fix a lot of references and description of options	Maxime Dénès	2018-04-16
\|\\|
\| *	[Sphinx] Fix a lot of references and description of options	Maxime Dénès	2018-04-16
\| \|
* \|	Document the Export Set/Unset commands.	Pierre-Marie Pédrot	2018-04-16
\|/ \| \| \|	Fixes #6963.
*	[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 6	Maxime Dénès	2018-04-10
\| \| \| \|	Thanks to Yves Bertot for porting this chapter.
*	[Sphinx] Move chapter 6 to new infrastructure	Maxime Dénès	2018-04-10