coq - The formal proof system

Age	Commit message (Expand)	Author
2020-12-11	Clarify changelog categories.	Théo Zimmermann
2020-12-07	Merge PR #13556: Fix spelling in warning entry	coqbot-app[bot]
2020-12-06	Fix spelling in warning entry	Simon Friis Vindum
2020-12-03	[changelog] update markup	Enrico Tassi
2020-12-03	Changes for Coq 8.13	Matthieu Sozeau
2020-11-20	Add changelog	Pierre Roux
2020-11-16	Merge PR #13040: [gc] Set GC policy as best-fit in OCaml >= 4.10.0	coqbot-app[bot]
2020-11-16	Merge PR #13384: Warn on hints without an explicit locality	coqbot-app[bot]
2020-11-16	[gc] Set GC policy as best-fit in OCaml >= 4.10.0	Emilio Jesus Gallego Arias
2020-11-16	Merge PR #12516: Deprecate `Grab Existential Variables` and `Existential` com...	Pierre-Marie Pédrot
2020-11-16	Document the deprecation of the commands.	Pierre-Marie Pédrot
2020-11-16	Document the new warning.	Pierre-Marie Pédrot
2020-11-15	Document the new export locality for the remaining hint commands.	Pierre-Marie Pédrot
2020-11-15	Merge PR #13339: In -noinit mode, add support for Proof using, using is not a...	Pierre-Marie Pédrot
2020-11-12	Add changelog entry for Proof using in -noinit mode.	Théo Zimmermann
2020-11-12	Move last changelog entry for 8.12.1.	Théo Zimmermann
2020-11-12	Merge PR #13351: Fixes #13349: accept Search on subparts of an identifier, no...	coqbot-app[bot]
2020-11-12	Add changelog for #13345.	Hugo Herbelin
2020-11-11	Add changelog for #13351.	Hugo Herbelin
2020-11-06	Merge PR #13139: Clean the constr-as-hint API	coqbot-app[bot]
2020-11-04	Adding change log for #13255.	Hugo Herbelin
2020-11-04	Document the changes.	Pierre-Marie Pédrot
2020-10-04	Remove prefixes on nonterminal names, e.g. "constr:" and "Prim."	Jim Fehrle
2020-09-14	Remove deprecated Extraction Language command value "Ocaml"	Jim Fehrle
2020-07-23	[changelog] Latest changes backported to 8.12 branch.	Emilio Jesus Gallego Arias
2020-07-17	Add changelog.	Pierre-Marie Pédrot
2020-07-10	Add changelog.	Pierre-Marie Pédrot
2020-06-05	Add remaining 8.12+beta1 changelog entries.	Théo Zimmermann
2020-06-02	Merge PR #11974: Require in Section: warning is now about fragility not depre...	Emilio Jesus Gallego Arias
2020-05-29	Require in Section: warning is now about fragility not deprecation.	Gaëtan Gilbert
2020-05-27	Release notes for 8.12.	Théo Zimmermann
2020-05-22	Merge PR #12295: Fixes #12233: printing environment corrupted with eta-expans...	Pierre-Marie Pédrot
2020-05-19	[topfmt] Set formatter + flush fix	Emilio Jesus Gallego Arias
2020-05-15	Changelog entries for #8855.	Théo Zimmermann
2020-05-14	Merge PR #12296: Fixes #12234: wrong environment for Show Proof	Gaëtan Gilbert
2020-05-14	Add a changelog for 8.11.2.	Pierre-Marie Pédrot
2020-05-14	Added change log.	Hugo Herbelin
2020-05-13	Added change log.	Hugo Herbelin
2020-05-13	Merge PR #11828: [obligations] Deprecated flag cleanup	Gaëtan Gilbert
2020-05-01	Move essential vocabulary and syntax conventions to section on basics.	Théo Zimmermann
2020-04-16	Make cumulative sprop a typing flag, deprecate command line -sprop-cumulative	Gaëtan Gilbert
2020-04-15	Ignore -native-compiler option when disabled	Pierre Roux
2020-04-10	[obligations] Deprecated flag cleanup	Emilio Jesus Gallego Arias
2020-04-07	Support universe bindings and universe constraints in Let definitions.	Théo Zimmermann
2020-04-02	Remove Chapter command.	Théo Zimmermann
2020-03-28	Remove SearchAbout command, deprecated in 8.5	Jim Fehrle
2020-03-19	Document all the existing attributes.	Théo Zimmermann
2020-03-19	Merge PR #11795: Print implicit arguments in types of references	Hugo Herbelin
2020-03-18	Add documentation for the export hint.	Pierre-Marie Pédrot
2020-03-12	Add changelog	SimonBoulier