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	New file on primitive objects.	Théo Zimmermann
2020-05-13	Extract primitive objects from Gallina ext.	Théo Zimmermann
2020-05-01	Move essential vocabulary and syntax conventions to section on basics.	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-10	Convert vernac commands chapter to prodn, update syntax	Jim Fehrle
2020-04-03	Remove sections on records, sections, funind and implicit arguments from gall...	Théo Zimmermann
2020-03-26	Shrink refman-prelude files.	Théo Zimmermann
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-04	Adding support for an "only parsing" modifier in "where"-based notations.	Hugo Herbelin
2020-02-28	Convert Gallina Vernac to use prodn	Jim Fehrle
2020-02-18	Updating reference manual and adding a change log entry.	Hugo Herbelin
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
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-02	[CS] support #[local] attribute	Enrico Tassi
2019-11-20	Update grammar in the Terms section of Gallina chapter	Jim Fehrle
2019-11-06	Replace "option" in doc when it refers to a flag	Jim Fehrle
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	Doc: index command Arguments with assert	Gaëtan Gilbert
2019-10-22	documentation fixes	Antonio Nikishaev
2019-10-06	Fix #10831: minor issues in documentation of Function.	Théo Zimmermann
2019-08-05	Remove reference to removed option Printing Primitive Projection Compatibility	Jim Fehrle
2019-07-22	[Int63] Implement all primitives in OCaml	Vincent Laporte
2019-07-22	[Extraction] Add support for primitive integers	Vincent Laporte
2019-06-04	[function] always open a proof when used with `wf` or `measure`	Enrico Tassi
2019-05-28	[elaboration] Bidirectionality hints	Maxime Dénès
2019-05-23	Define many undefined tokens, and other misc fixes.	Théo Zimmermann
2019-05-22	[refman] Give explicit names to the various 'Arguments' commands	Clément Pit-Claudel
2019-05-22	Merge PR #10178: Improve doc for generalizing binders	Théo Zimmermann
2019-05-22	Improve doc for generalizing binders	Gaëtan Gilbert
2019-05-19	[refman] Fix up the grammar entry for field_def	Clément Pit-Claudel