coq - The formal proof system

Age	Commit message (Expand)	Author
2021-01-18	Support locality attributes for Hint Rewrite (including export)	Gaëtan Gilbert
2020-04-17	Deprecate “omega”	Vincent Laporte
2019-05-08	[refman] Move all the Ltac examples to the Ltac chapter.	Théo Zimmermann
2019-02-28	[sphinx] Add warn option to coqtop directive.	Théo Zimmermann
2019-02-18	Using options abort and restart of coqtop directive in the manual.	Théo Zimmermann
2018-09-12	Remove quote plugin	Maxime Dénès
2018-08-31	Merge PR #8170: Don't index names starting with `_` in docs	Théo Zimmermann
2018-08-31	Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...	Zeimer
2018-07-30	[sphinx] Use arguments of '.. example::' directive as a title	Clément Pit-Claudel
2018-07-26	[sphinx] Do name cleanup in handle_signature	Clément Pit-Claudel
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-04-14	[Sphinx] Fix all remaining warnings.	Maxime Dénès
2018-04-14	[sphinx] Fix many warnings.	Théo Zimmermann
2018-03-15	[Sphinx] Add chapter 10	Maxime Dénès
2018-03-15	[Sphinx] Move chapter 10 to new infrastructure	Maxime Dénès