coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-09	[refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina.	Théo Zimmermann
2020-11-02	[doc] attribute #[using]	Enrico Tassi
2020-10-27	Change a few nonterminal names in mlgs and update doc to match	Jim Fehrle
2020-10-24	Convert misc chapters to prodn	Jim Fehrle
2020-10-20	Add some missing smallcaps.	Théo Zimmermann
2020-10-12	Add missing ";" in record grammar	Jim Fehrle
2020-05-14	Add some markers of origin.	Théo Zimmermann
2020-05-14	Reintroduce leftover parts; update index files; small fixes.	Théo Zimmermann
2020-05-13	Merge section on Inductive types from Gallina and CIC.	Théo Zimmermann
2020-05-13	Create new file on Inductive types.	Théo Zimmermann
2020-05-13	Merge sections on Inductive types and Recursive functions in new file.	Théo Zimmermann
2020-05-13	Add Recursive functions to new file on Inductive types.	Théo Zimmermann
2020-05-13	Create new file on Inductive types.	Théo Zimmermann