coq - The formal proof system

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