coq - The formal proof system

Age	Commit message (Expand)	Author
2020-05-01	Move essential vocabulary and syntax conventions to section on basics.	Théo Zimmermann
2020-05-01	Create basics out of sections from Gallina and Vernac chapters.	Théo Zimmermann
2020-05-01	Create section on basics with just flags, options and tables.	Théo Zimmermann
2020-05-01	Create section on basics with just lexical conventions and attributes.	Théo Zimmermann
2020-04-11	Merge PR #11961: Convert vernac commands chapter to prodn, update syntax	Théo Zimmermann
2020-04-10	Convert vernac commands chapter to prodn, update syntax	Jim Fehrle
2020-04-07	Support universe bindings and universe constraints in Let definitions.	Théo Zimmermann
2020-04-03	Split four sections out of the Gallina extensions chapter.	Théo Zimmermann
2020-04-03	Move section in records in appropriate location (inside core).	Théo Zimmermann
2020-04-03	Move section on sections in appropriate location (inside core).	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