coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \|	Doc: Some quotes missing in file tactics.rst.	Hugo Herbelin	2018-05-11
* \|	Replacing a broken reference by hyperlinks in chapter tactics.	Hugo Herbelin	2018-05-11
* \|	A few fixes in chapter tactics.	Hugo Herbelin	2018-05-11
* \|	[sphinx] Improve proof handling chapter.	Théo Zimmermann	2018-05-09
* \|	Clarify that the description of coqtop does not reflect all user interfaces.	Théo Zimmermann	2018-05-09
* \|	[sphinx] Improvements around the Show commands, including missing indices and...	Théo Zimmermann	2018-05-09
\| *	[sphinx] Fix new warnings related to tacn, cmd, opt...	Théo Zimmermann	2018-05-09
\| *	Replacing a broken reference by hyperlinks in chapter tactics.	Hugo Herbelin	2018-05-09
\| *	A few fixes in chapter tactics.	Hugo Herbelin	2018-05-09
\|/
*	[sphinx] Fixes around apply, including indentation and fixing a Coq warning.	Théo Zimmermann	2018-05-05
*	[sphinx] Fixes around refine, including indentation and a hard-coded ref.	Théo Zimmermann	2018-05-05
*	[sphinx] Add indices for only, all and par.	Théo Zimmermann	2018-05-05
*	[sphinx] Improvements around injection tactic.	Théo Zimmermann	2018-05-05
*	[sphinx] Improve part about Hints.	Théo Zimmermann	2018-05-05
*	[sphinx] Re-indent to get much better rendering.	Théo Zimmermann	2018-05-05
*	Clean-up around cmd documentation.	Théo Zimmermann	2018-05-05
*	Remove duplicate Extraction commands documentation.	Théo Zimmermann	2018-05-05
*	[sphinx] Replace remaining `@natural` by `@num`.	Théo Zimmermann	2018-05-05
*	[sphinx] Use references for command Info.	Théo Zimmermann	2018-05-05
*	[sphinx] More reference fixes.	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
*	Add direct reference to congruence with.	Théo Zimmermann	2018-05-05
*	Clean-up around options.	Théo Zimmermann	2018-05-05
*	debug trivial and debug auto were not in the tactic index.	Théo Zimmermann	2018-05-05
*	[sphinx] Fix some references.	Théo Zimmermann	2018-05-05
*	[sphinx] Backport reformulation.	Théo Zimmermann	2018-05-05
*	[sphinx] Backport fix of typo.	Théo Zimmermann	2018-05-05
*	Make "intro"/"intros" progress on existential variables.	Hugo Herbelin	2018-05-02
*	Strict focusing using Default Goal Selector.	Gaëtan Gilbert	2018-04-29
*	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
\|/
*	[Sphinx] Fix all remaining warnings.	Maxime Dénès	2018-04-14
*	[sphinx] Fix many warnings.	Théo Zimmermann	2018-04-14
*	[Sphinx] Add chapter 9.	Théo Zimmermann	2018-04-14
*	[Sphinx] Move chapter 9 to new infrastructure.	Théo Zimmermann	2018-04-14
*	Merge PR #7117: Sphinx doc chapter 29	Théo Zimmermann	2018-04-13
\|\
\| *	[Sphinx] Add chapter 29	Maxime Dénès	2018-04-12
* \|	[sphinx] Remove migration artefacts.	Théo Zimmermann	2018-04-11
\|/
*	Merge PR #6955: Fixed many typos and grammar errors in chapter 11 of the manual.	Maxime Dénès	2018-04-11
\|\
* \|	[Sphinx] Add chapter 6	Maxime Dénès	2018-04-10
* \|	[Sphinx] Move chapter 6 to new infrastructure	Maxime Dénès	2018-04-10
* \|	Merge PR #7162: Sphinx doc chapter 7	Théo Zimmermann	2018-04-09
\|\ \
\| * \|	[Sphinx] Add chapter 7	Maxime Dénès	2018-04-09
\| * \|	[Sphinx] Move chapter 7 to new infrastructure	Maxime Dénès	2018-04-09
\| \| *	Fixed many typos and grammar errors in chapter 11 of the manual.	Zeimer	2018-04-06
\| \|/
* /	Clarify wording in tactics documentation.	Théo Zimmermann	2018-03-25
\|/