coq - The formal proof system

Age	Commit message (Expand)	Author
2020-11-18	Review commit: improving the doc of boolean attributes.	Théo Zimmermann
2020-11-18	Run doc_grammar for #13312.	Théo Zimmermann
2020-11-18	[attributes] Deprecate `attr(true)` syntax in favor of booelan attributes.	Emilio Jesus Gallego Arias
2020-11-16	Update grammar in doc	Jim Fehrle
2020-11-16	Doc for variance syntax	Gaëtan Gilbert
2020-11-14	Move destructuring let syntax closer to its documentation.	Théo Zimmermann
2020-11-09	[refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina.	Théo Zimmermann
2020-11-05	Merge PR #12218: Numeral notations for non inductive types	coqbot-app[bot]
2020-11-03	Merge PR #13293: Doc: added "Arguments" removing implicit arguments	coqbot-app[bot]
2020-11-03	improved documentation of arguments command	Fabian Kunze
2020-11-02	Doc: added "Arguments" removing implicit arguments	Fabian Kunze
2020-11-02	[doc] attribute #[using]	Enrico Tassi
2020-10-30	Renaming Numeral.v into Number.v	Pierre Roux
2020-10-27	Change a few nonterminal names in mlgs and update doc to match	Jim Fehrle
2020-10-26	Merge PR #12768: Granting wish #12762: warning on duplicated catch-all patter...	coqbot-app[bot]
2020-10-25	Merge PR #12936: Convert misc chapters to prodn, update syntax	coqbot-app[bot]
2020-10-24	Convert misc chapters to prodn	Jim Fehrle
2020-10-23	Correct doc using :>>	Gaëtan Gilbert
2020-10-20	Add some missing smallcaps.	Théo Zimmermann
2020-10-12	Add missing ";" in record grammar	Jim Fehrle
2020-10-05	Documenting warning about unused variables in pattern clauses.	Hugo Herbelin
2020-10-05	Document the removal of forward class hints.	Théo Zimmermann
2020-10-02	More details in the documentation of native arrays	Vincent Semeria
2020-09-29	Merge PR #13111: Small document fixes.	coqbot-app[bot]
2020-09-30	Wf.v defines Fix_eq, not fix_eq.	Tanaka Akira
2020-09-30	Type{i} should be Type(i).	Tanaka Akira
2020-09-27	Reduce nitpick_ignore list a little.	Théo Zimmermann
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-09-08	Update doc/sphinx/language/extensions/match.rst	Clément Blaudeau
2020-09-08	[Small typo] Update match.rst	Clément Blaudeau
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-17	Merge PR #12802: Document semantic restriction on patterns in Gallina match c...	coqbot
2020-08-15	Document semantic restriction on patterns	Jim Fehrle
2020-08-09	Bring Float notations in line with stdlib	Jason Gross
2020-08-06	Trying to rephrase complex sentences to make them easier to read.	Martin Bodin
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-22	Merge PR #11986: [primitive floats] Add low level printing	Pierre-Marie Pédrot
2020-05-19	[primitive floats] Add low level hexadecimal printing	Pierre Roux
2020-05-18	Use the new gdef alt-text feature in the refman.	Théo Zimmermann
2020-05-16	Merge PR #12330: Add redirects for HTML pages that were moved.	Clément Pit-Claudel