coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-10	Add documentation.	Pierre-Marie Pédrot
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-10-24	Convert misc chapters to prodn	Jim Fehrle
2020-10-20	Add some missing smallcaps.	Théo Zimmermann
2020-09-11	[refman] Rename num to natural	Pierre Roux
2020-05-16	Fix note on implicit arguments in doc of functional induction.	Théo Zimmermann
2020-05-05	[refman] Add missing (only parsing) to example of compat notations.	Théo Zimmermann
2020-05-01	Move essential vocabulary and syntax conventions to section on basics.	Théo Zimmermann
2020-05-01	Create section on writing libraries with only deprecated attributes.	Théo Zimmermann
2020-04-23	[refman] Fix name of tactic: function induction -> functional induction.	Théo Zimmermann
2020-04-21	Merge all documentation on Funind into the same file.	Théo Zimmermann
2020-04-21	Consolidate funind tactics and Functional Scheme in Funind section of the Lib...	Théo Zimmermann
2020-04-21	Extract funind tactics to funind section of the Libraries chapter.	Théo Zimmermann
2020-04-20	Move Functional Scheme to Funind section.	Théo Zimmermann
2020-04-03	Move section on funind in appropriate location (inside libraries).	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