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
2021-02-24	Infrastructure for fine-grained debug flags	Maxime Dénès
2021-01-21	Improve wording for #13384	Jim Fehrle
2021-01-18	Support locality attributes for Hint Rewrite (including export)	Gaëtan Gilbert
2020-12-30	Convert rewriting and proof-mode chapters to prodn	Jim Fehrle
2020-11-24	Convert auto chapter to prodn	Jim Fehrle
2020-11-16	Document the new warning.	Pierre-Marie Pédrot
2020-11-16	Tentative fix for the refman.	Pierre-Marie Pédrot
2020-11-15	Document the new export locality for the remaining hint commands.	Pierre-Marie Pédrot
2020-11-10	Convert logic.rst 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-11-05	Add new sections to automatic tactic chapter.	Théo Zimmermann
2020-11-05	Octopus merge to preserve history of content split over multiple files.	Théo Zimmermann
2020-11-05	Keep only the content on solvers for logic and equality.	Théo Zimmermann
2020-11-05	Move some content to a new page on solvers for logic and equality.	Théo Zimmermann
2020-11-05	Keep only content about auto.	Théo Zimmermann
2020-11-05	Move some content to a new page on automation.	Théo Zimmermann
2020-03-19	Adapt to sub-TOC not showing in PDF output.	Théo Zimmermann
2020-03-19	[refman] Move chapters into new structure.	Théo Zimmermann