coq - The formal proof system

Age	Commit message (Expand)	Author
2021-04-02	Remove the omega tactic and related options	Jim Fehrle
2021-03-08	Convert 2nd part of rewriting chapter to prodn	Jim Fehrle
2020-12-30	Convert rewriting and proof-mode chapters to prodn	Jim Fehrle
2020-11-09	[refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina.	Théo Zimmermann
2020-11-05	Change the title of the automatic tactic chapter and of its sections.	Théo Zimmermann
2020-10-20	Add some missing smallcaps.	Théo Zimmermann
2020-04-20	[refman] Remove references to omega from Tactics chapter.	Théo Zimmermann
2020-04-17	Deprecate “omega”	Vincent Laporte
2020-01-08	[refman] [changelog] Announce omega replacement.	Théo Zimmermann
2019-11-06	Replace "option" in doc when it refers to a flag	Jim Fehrle
2018-11-21	[sphinx] Progress towards closing #7602: remove most objects without a body.	Théo Zimmermann
2018-09-25	Remove romega	Vincent Laporte
2018-09-20	Rewrite "Flags, Options and Tables" section.	Jim Fehrle
2018-09-10	Deprecate romega in favor of lia.	Vincent Laporte
2018-08-31	Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...	Zeimer
2018-08-01	Improved grammar and spelling in chapters 'Type Classes', 'Omega' and 'Microm...	Zeimer
2018-05-09	[sphinx] Fix new warnings related to tacn, cmd, opt...	Théo Zimmermann
2018-05-05	[sphinx] Re-indent to get much better rendering.	Théo Zimmermann
2018-05-05	Add some refs in the Omega chapter.	Théo Zimmermann
2018-05-05	Fix error messages and make them consistent.	Théo Zimmermann
2018-03-22	[Sphinx] Add chapter 21	Maxime Dénès
2018-03-22	[Sphinx] Move chapter 21 to new infrastructure	Maxime Dénès