coq - The formal proof system

Age	Commit message (Expand)	Author
2020-05-16	Add redirects for HTML pages that were moved.	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-01	Move essential vocabulary and syntax conventions to section on basics.	Théo Zimmermann
2020-05-01	Remove lexical conventions and attributes from Gallina chapter.	Théo Zimmermann
2020-04-26	Convert syntax extensions chapter to prodn	Jim Fehrle
2020-04-10	Convert vernac commands chapter to prodn, update syntax	Jim Fehrle
2020-03-26	Merge PR #11877: Removing deprecated destruct/remember syntax _eqn.	Théo Zimmermann
2020-03-26	Removing deprecated destruct syntax _eqn.	Hugo Herbelin
2020-03-25	Doc_grammar: Update cmd:: and tacn:: constructs in .rsts	Jim Fehrle
2020-03-25	Convert Gallina Extensions to use prodn	Jim Fehrle
2020-03-19	Document all the existing attributes.	Théo Zimmermann
2020-03-09	Remove some productionlists	Jim Fehrle
2020-02-28	Convert Gallina Vernac to use prodn	Jim Fehrle
2020-02-17	New syntax [Inductive Acc A R \| x : Prop := ...]	Gaëtan Gilbert
2020-02-17	Revert "Add #[uniform] and #[nonuniform] (for Uniform Inductive Parameters)"	Gaëtan Gilbert
2020-02-13	Add #[uniform] and #[nonuniform] (for Uniform Inductive Parameters)	Gaëtan Gilbert
2020-02-04	Update doc for non max implicit arguments	SimonBoulier
2020-01-09	Merge PR #11164: [CS] allow Let variable to be canonical	Pierre-Marie Pédrot
2020-01-06	Merge PR #11340: [refman] Fix bad quoting practice leftover from Sphinx migra...	Clément Pit-Claudel
2019-12-31	Merge PR #11325: [refman] Add missing s.	Pierre-Marie Pédrot
2019-12-29	Remove :flag: that appears in the output	Jim Fehrle
2019-12-29	[refman] Fix bad quoting practice leftover from Sphinx migration.	Théo Zimmermann
2019-12-28	Convert productionlists to prodns	Jim Fehrle
2019-12-24	[Attributes] accept #[canonical] (Let\|Definition)	Enrico Tassi
2019-12-22	[refman] Add missing s.	Théo Zimmermann
2019-11-20	Update grammar in the Terms section of Gallina chapter	Jim Fehrle
2019-11-14	Fix doc for universes(foo) attributes	Gaëtan Gilbert
2019-11-06	Replace "option" in doc when it refers to a flag	Jim Fehrle
2019-10-30	Implement the unsupported attribute error using the warning system	Gaëtan Gilbert
2019-10-22	documentation fixes	Antonio Nikishaev
2019-08-16	Add documentation for typing flags.	SimonBoulier
2019-07-28	Update documentation on tokens, use "int" and "num"	Jim Fehrle
2019-06-06	`deprecated` attribute support for notations and syntactic definitions	Maxime Dénès
2019-05-23	do not parse `\|` as infix in patterns; parse `\|}` as `\|` `}`	Georges Gonthier
2019-05-19	[refman] Misc fixes (indentation, whitespace, notation syntax)	Clément Pit-Claudel
2019-04-02	Allow underscores as comments in numeral constants.	Pierre Roux
2019-04-02	Update documentation	Pierre Roux
2019-03-18	[Manual] Parametrize -> ParametErize	Lysxia
2019-03-18	[Manual] Move command Context after Let, and more polishing	Lysxia
2019-03-17	[Manual] Move doc on Let into Section mechanism, and more polishing	Lysxia
2019-03-17	[Manual] Gather section-specific commands in Section documentation (fix #9704)	Lysxia
2019-03-17	[Manual] Improve chapter Type classes, and add mention of Context under Variable	Lysxia
2019-03-14	Documentation for SProp	Gaëtan Gilbert
2019-02-28	[sphinx] Add warn option to coqtop directive.	Théo Zimmermann
2019-02-12	Fix failing coqtops in gallina-specification-language.rst	Gaëtan Gilbert
2019-01-22	Remove unneeded \| in productionlists	Jim Fehrle
2018-12-19	Fix typo in gallina specification language doc	yudetamago
2018-10-16	Document the issue with positive coinductive types.	Pierre-Marie Pédrot
2018-09-28	Small fixes in attribute documentation.	Théo Zimmermann