coq - The formal proof system

Age	Commit message (Expand)	Author
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