coq - The formal proof system

Age	Commit message (Expand)	Author
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	Extract cofix and CoFixpoint from Gallina.	Théo Zimmermann
2020-05-13	Create new file on CoInductive types.	Théo Zimmermann
2020-05-13	Extract CoInductive types from Gallina.	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	Extract Inductive types from CIC.	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	Extract Recursive functions from Gallina.	Théo Zimmermann
2020-05-13	Create new file on Inductive types.	Théo Zimmermann
2020-05-13	Extract Inductive types from Gallina.	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	Extract match from Gallina.	Théo Zimmermann
2020-05-13	Create a new file on Variants.	Théo Zimmermann
2020-05-13	Extract Variants from Gallina.	Théo Zimmermann
2020-05-13	Create a new file on Variants.	Théo Zimmermann
2020-05-13	Extract Private inductive types from Gallina.	Théo Zimmermann
2020-05-13	Create new file on sorts.	Théo Zimmermann
2020-05-13	Extract Sorts out of CIC.	Théo Zimmermann
2020-05-13	Merge PR #12229: Hopefully consensual cleaning of keywords	Théo Zimmermann
2020-05-09	[doc] Add hexadecimal numerals	Pierre Roux
2020-05-07	Drop some the coqtop output, rephrase a bit	Quentin Carbonneaux
2020-05-06	Add an example to motivate strictly positive occurrences check	Quentin Carbonneaux
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
2020-05-01	Extract two new files out of Gallina chapter.	Théo Zimmermann
2020-05-01	Create section on writing libraries with only deprecated attributes.	Théo Zimmermann
2020-05-01	Extract deprecated attribute from Gallina chapter.	Théo Zimmermann
2020-05-01	Remove lexical conventions and attributes from Gallina chapter.	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-05-01	Extract lexical conventions and attributes from Gallina chapter.	Théo Zimmermann
2020-04-26	Convert syntax extensions chapter to prodn	Jim Fehrle
2020-04-13	Update syntax of Import / Export in documentation.	Théo Zimmermann
2020-04-13	doc for partial imports	Gaëtan Gilbert
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-04-03	Move section on funind in appropriate location (inside libraries).	Théo Zimmermann
2020-04-03	Move section on implicit arguments in appropriate location (inside extensions).	Théo Zimmermann
2020-04-03	Extract section on implicit arguments from Gallina extensions.	Théo Zimmermann