coq - The formal proof system

Age	Commit message (Expand)	Author
2020-03-09	Remove some productionlists	Jim Fehrle
2020-03-04	Adding support for an "only parsing" modifier in "where"-based notations.	Hugo Herbelin
2020-02-29	Merge PR #11701: Fix #11696: link from refman to stdlib doc is dead.	Clément Pit-Claudel
2020-02-28	Convert Gallina Vernac to use prodn	Jim Fehrle
2020-02-27	Fix #11696: link from refman to stdlib doc is dead.	Théo Zimmermann
2020-02-21	Merge PR #11261: Use implicit types for printing (granting wish #10366).	Emilio Jesus Gallego Arias
2020-02-18	Updating reference manual and adding a change log entry.	Hugo Herbelin
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-14	Merge PR #11584: Add #[uniform] and #[nonuniform] (for Uniform Inductive Para...	Maxime Dénès
2020-02-13	Add #[uniform] and #[nonuniform] (for Uniform Inductive Parameters)	Gaëtan Gilbert
2020-02-13	Arguments: removing the restriction to set an anonymous parameter implicit.	Hugo Herbelin
2020-02-11	Document the ability to use manual implicit arguments in subexpressions.	Hugo Herbelin
2020-02-04	Apply suggestions from Hugo	SimonBoulier
2020-02-04	Update doc for non max implicit arguments	SimonBoulier
2020-01-19	Merge PR #11368: Turn trailing implicit warning into an error	Hugo Herbelin
2020-01-09	Merge PR #11164: [CS] allow Let variable to be canonical	Pierre-Marie Pédrot
2020-01-08	Trailing implicit: Maxime's suggestions	SimonBoulier
2020-01-07	Merge PR #11369: [refman] Correct manual about implicit parameters in inductives	Théo Zimmermann
2020-01-07	Correct manual about implicit parameters in inductives.	SimonBoulier
2020-01-07	Trailing implicit error: documentation	SimonBoulier
2020-01-06	doc: mention limitation of bidi hints vs program	Gaëtan Gilbert
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-29	Merge PR #11314: Convert productionlists in the Gallina chapter up to the Ver...	Théo Zimmermann
2019-12-28	Convert productionlists to prodns	Jim Fehrle
2019-12-28	Update doc/sphinx/language/gallina-extensions.rst	Kazuhiko Sakaguchi
2019-12-28	Extend `Print Canonical Projections` with a search functionality	Kazuhiko Sakaguchi
2019-12-24	[Attributes] accept #[canonical] (Let\|Definition)	Enrico Tassi
2019-12-22	[refman] Add missing s.	Théo Zimmermann
2019-12-02	[CS] support #[local] attribute	Enrico Tassi
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-08	Merge PR #11050: Replace "option" in doc when it refers to a flag	Théo Zimmermann
2019-11-06	Replace "option" in doc when it refers to a flag	Jim Fehrle
2019-11-04	Cite POPL19 SProp paper	Gaëtan Gilbert
2019-11-01	docs(gallina-extensions.rst): Say more on float literals extraction	Erik Martin-Dorel
2019-11-01	docs: Add refman+stdlib documentation	Erik Martin-Dorel
2019-10-31	Merge PR #10985: Print argument info as an Arguments command in About	Emilio Jesus Gallego Arias
2019-10-31	Merge PR #10997: Implement the unsupported attribute error using the warning ...	Emilio Jesus Gallego Arias
2019-10-31	Doc: index command Arguments with assert	Gaëtan Gilbert
2019-10-30	Implement the unsupported attribute error using the warning system	Gaëtan Gilbert
2019-10-30	Use bullets and indentation (but the result rendering is weird).	Théo Zimmermann
2019-10-30	Use explicit match as suggested by Clément.	Théo Zimmermann
2019-10-30	[refman] Add a second example of contradiction when positivity checking is di...	Théo Zimmermann
2019-10-30	[refman] Give an example of contradiction when positivity checking is disabled.	Théo Zimmermann
2019-10-22	documentation fixes	Antonio Nikishaev
2019-10-06	Fix #10831: minor issues in documentation of Function.	Théo Zimmermann