coq - The formal proof system

Age	Commit message (Expand)	Author
2020-09-11	[numeral notation] Improve documentation	Pierre Roux
2020-09-11	[refman] Explicit integer and natural	Pierre Roux
2020-09-11	[refman] Rename int to integer	Pierre Roux
2020-09-11	[refman] Rename numeral to number	Pierre Roux
2020-09-11	[refman] Rename num to natural	Pierre Roux
2020-08-26	Merge PR #12085: Convert ltac2 chapter to use prodn, update syntax	coqbot-app[bot]
2020-08-25	Convert ltac2 chapter to use prodn, update syntax	Jim Fehrle
2020-08-15	Document semantic restriction on patterns	Jim Fehrle
2020-07-06	Primitive persistent arrays	Maxime Dénès
2020-06-09	Merge sections on functions and function types.	Théo Zimmermann
2020-06-09	Minor improvements to the section on sorts.	Théo Zimmermann
2020-06-09	Minor improvements to the section on basics.	Théo Zimmermann
2020-06-08	Convert Ltac chapter to prodn	Jim Fehrle
2020-05-27	Changelog entries for the 8.12 changes to the reference manual.	Théo Zimmermann
2020-05-18	Use the new gdef alt-text feature in the refman.	Théo Zimmermann
2020-05-15	Merge PR #12239: Split Gallina, Gallina ext and most of CIC chapters into mul...	Clément Pit-Claudel
2020-05-15	Merge PR #11948: Hexadecimal numerals	Hugo Herbelin
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-14	Refactoring of the first part of the reference manual.	Théo Zimmermann
2020-05-14	Split Gallina extensions into multiple files.	Théo Zimmermann
2020-05-14	Split Gallina into multiple files.	Théo Zimmermann
2020-05-14	Split parts of CIC into multiple files.	Théo Zimmermann
2020-05-14	Create new file on Functions and Assumptions.	Théo Zimmermann
2020-05-14	Merge definitions and type casts in same file.	Théo Zimmermann
2020-05-14	Create new file on Definitions.	Théo Zimmermann
2020-05-14	Add type casts to new Definitions file.	Théo Zimmermann
2020-05-13	Merge doc of modules from two origins.	Théo Zimmermann
2020-05-13	Move file on modules in new location.	Théo Zimmermann
2020-05-13	Add to file on modules.	Théo Zimmermann
2020-05-13	New file on primitive objects.	Théo Zimmermann
2020-05-13	Create a new file on conversion.	Théo Zimmermann
2020-05-13	Merge sections on CoInductive types and co-recursive functions in new file.	Théo Zimmermann
2020-05-13	Add cofix and CoFixpoint to file on CoInductive types.	Théo Zimmermann
2020-05-13	Create new file on CoInductive types.	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
2020-05-13	Merge sections on variants and match into new file.	Théo Zimmermann
2020-05-13	Merge sections on Variants and Private inductive types into new file.	Théo Zimmermann
2020-05-13	Add match to new file on Variants.	Théo Zimmermann
2020-05-13	Create a new file on Variants.	Théo Zimmermann
2020-05-13	Create a new file on Variants.	Théo Zimmermann
2020-05-13	Create new file on sorts.	Théo Zimmermann
2020-05-09	[doc] Add hexadecimal numerals	Pierre Roux
2020-05-06	Keywords: Applying suggestions from Jim Fehrle and Théo Zimmermann.	Hugo Herbelin
2020-05-06	Documenting plugin/tactic/stdlib keywords in corresponding chapters.	Hugo Herbelin
2020-05-01	Move essential vocabulary and syntax conventions to section on basics.	Théo Zimmermann