coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-20	Merge PR #13237: Address #13235: avoid passing degenerate in-hyps clauses	Pierre-Marie Pédrot
2020-11-18	Use only nats for occs_nums rather than ints	Jim Fehrle
2020-11-17	Fixes #13235: remove fragile tolerance for degenerate in-hyps clause.	Hugo Herbelin
2020-11-16	Document the deprecation of the commands.	Pierre-Marie Pédrot
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	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	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