coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-16	Merge PR #12516: Deprecate `Grab Existential Variables` and `Existential` com...	Pierre-Marie Pédrot
2020-11-16	Document the deprecation of the commands.	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	Improve title of first proof chapter.	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	Various fixes.	Théo Zimmermann
2020-11-05	Merge content from two origins into the same file.	Théo Zimmermann
2020-11-05	Move proof handling chapter in new location.	Théo Zimmermann
2020-11-05	Octopus merge to preserve history of content split over multiple files.	Théo Zimmermann
2020-11-05	Remove everything before goal management.	Théo Zimmermann
2020-11-05	Remove everything after the content on goal management.	Théo Zimmermann
2020-11-05	Move some content on goal management to the proof mode page.	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-11-05	Add new page to writing proof index.	Théo Zimmermann
2020-11-05	Remove everything before term rewriting and simplification.	Théo Zimmermann
2020-11-05	Remove everything after term rewriting and simplification.	Théo Zimmermann
2020-11-05	Move some content to a new page on term rewriting and simplification.	Théo Zimmermann
2020-10-20	Add some missing smallcaps.	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