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] Work around https://github.com/sphinx-doc/sphinx/issues/4979	Clément Pit-Claudel
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-14	Merge PR #7894: Remove quote plugin	Théo Zimmermann
2018-09-12	Remove quote plugin	Maxime Dénès
2018-09-12	Manual: fix documentation of the “fresh” tactic	Vincent Laporte
2018-09-11	Grammar entry for the ssr syntax for anonymous arguments.	Assia Mahboubi
2018-09-06	Merge PR #8110: Fixing capital letters in the "in" syntax of instantiate.	Pierre-Marie Pédrot
2018-08-31	Merge PR #8170: Don't index names starting with `_` in docs	Théo Zimmermann
2018-08-31	Fixed the seealso directive in a few places.	Zeimer
2018-08-31	Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...	Zeimer
2018-08-29	Merge PR #8353: [sphinx] Fix timeout issue by splitting imports.	Clément Pit-Claudel
2018-08-29	Merge PR #8345: Add index for focusing braces.	Clément Pit-Claudel
2018-08-29	[sphinx] Fix timeout issue by splitting imports.	Théo Zimmermann
2018-08-28	Merge PR #8135: Sphinx fixing of the beginning of the Tactics chapter.	Clément Pit-Claudel
2018-08-28	Add index for focusing braces.	Théo Zimmermann
2018-08-27	Document focusing on named goals.	Théo Zimmermann
2018-08-24	Merge PR #8266: Minor Sphinx improvements in the bullet documentation.	Clément Pit-Claudel
2018-08-22	Fix #8251: remove "the the" occurrences	Gaëtan Gilbert
2018-08-22	Add missing spaces.	Théo Zimmermann
2018-08-22	[sphinx] Improve Case analysis and induction section.	Théo Zimmermann
2018-08-22	[refman] Fixing two nested lemma errors.	Théo Zimmermann
2018-08-22	[sphinx] Fixing of the beginning of the Tactics chapter.	Théo Zimmermann
2018-08-17	Define bullet production token.	Théo Zimmermann
2018-08-17	Minor Sphinx improvements in the bullet documentation.	Théo Zimmermann
2018-08-16	Merge PR #8109: [doc] Fix grammar of goal selectors.	Maxime Dénès
2018-08-16	Merge PR #8108: A few Sphinx fixes in the Ltac chapter.	Maxime Dénès
2018-07-30	[sphinx] Use arguments of '.. example::' directive as a title	Clément Pit-Claudel
2018-07-28	Merge PR #8077: Fix #7291: unify tactic should have more descriptive error me...	Hugo Herbelin
2018-07-26	[sphinx] Do name cleanup in handle_signature	Clément Pit-Claudel
2018-07-25	Doc: preliminary work before #7291 which add an "Unable to unify" message.	Hugo Herbelin
2018-07-24	Update the documentation w.r.t. the new error raised by unify.	Pierre-Marie Pédrot
2018-07-21	Solved problems with snippets giving errors in chapter 'Detailed examples of ...	Zeimer
2018-07-21	Rewrote examples about permutations, logic and type isomorphisms: changed the...	Zeimer
2018-07-21	Improvements for the chapter 'Detailed examples of tactics' of the Reference ...	Zeimer
2018-07-21	Merge PR #8072: Fixes for chapters 'Vernacular commands', 'Proof handling' an...	Théo Zimmermann
2018-07-21	Fixing capital letters in the "in" syntax of instantiate.	Hugo Herbelin
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-20	Added :undocumented: and :cmd: as suggested in comments for PR #8072.	Zeimer
2018-07-20	Fixed many spelling and grammar errors in the chapters 'Vernacular commands',...	Zeimer
2018-07-17	Remove fourier plugin	Maxime Dénès
2018-07-10	fixed typo for assert_suceed	charguer
2018-07-10	Merge PR #8028: Fix a few typos	Théo Zimmermann
2018-07-10	Fix typo in doc/proof-engine/tactics.rst.	whitequark
2018-07-09	Fix rst syntax for `quote ident {ident}`	Joachim Breitner
2018-07-02	hints: add Hint Variables/Constants Opaque/Transparent commands	Matthieu Sozeau