coq - The formal proof system

Age	Commit message (Expand)	Author
2018-09-20	Rewrite "Flags, Options and Tables" section.	Jim Fehrle
2018-09-20	[doc] Include the rst and LaTeX preambles automatically in all files	Clément Pit-Claudel
2018-09-17	Add missing index entries.	Théo Zimmermann
2018-09-12	Manual: fix documentation of the “fresh” tactic	Vincent Laporte
2018-08-31	Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...	Zeimer
2018-08-22	Fix #8251: remove "the the" occurrences	Gaëtan Gilbert
2018-08-16	Merge PR #8109: [doc] Fix grammar of goal selectors.	Maxime Dénès
2018-07-21	[doc] Fix grammar of goal selectors.	Théo Zimmermann
2018-07-21	A few Sphinx fixes in the Ltac chapter.	Théo Zimmermann
2018-07-20	Small improvements suggested in comments to PR #8086.	Zeimer
2018-07-20	Improved chapter 'The tactic language' of the Reference Manual.	Zeimer
2018-07-10	fixed typo for assert_suceed	charguer
2018-05-25	[doc] Allow more than one signature and name per Sphinx object	Clément Pit-Claudel
2018-05-09	[sphinx] Fix new warnings related to tacn, cmd, opt...	Théo Zimmermann
2018-05-05	[sphinx] Add indices for only, all and par.	Théo Zimmermann
2018-05-05	Clean-up around cmd 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	Fix error messages and make them consistent.	Théo Zimmermann
2018-05-05	Clean-up around options.	Théo Zimmermann
2018-05-05	[sphinx] Fix some references.	Théo Zimmermann
2018-04-29	Strict focusing using Default Goal Selector.	Gaëtan Gilbert
2018-04-16	[Sphinx] Clean-up indices	Maxime Dénès
2018-04-14	[Sphinx] Fix all remaining warnings.	Maxime Dénès
2018-04-14	[Sphinx] Add chapter 9.	Théo Zimmermann
2018-04-14	[Sphinx] Move chapter 9 to new infrastructure.	Théo Zimmermann