coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-03	[build] Split stdlib to it's own opam package.	Emilio Jesus Gallego Arias
2020-12-03	[changelog] update markup	Enrico Tassi
2020-12-03	Changes for Coq 8.13	Matthieu Sozeau
2020-11-05	Changelog for 8.12.1.	Théo Zimmermann
2020-09-17	[build] Don't link `num` anymore in Coq	Emilio Jesus Gallego Arias
2020-09-14	[ci] [docker] Up testing to OCaml 4.11.1	Emilio Jesus Gallego Arias
2020-09-11	Minimal changes to make the refman compatible with Sphinx 3.	Théo Zimmermann
2020-08-27	[zarith] Changelog	Emilio Jesus Gallego Arias
2020-08-19	Improve `make approve-output`	Jason Gross
2020-07-23	[changelog] Latest changes backported to 8.12 branch.	Emilio Jesus Gallego Arias
2020-06-24	[test-suite] Fix dependencies of modules/ files	Jason Gross
2020-05-27	Add more changelog entries which have been backported to v8.12.	Théo Zimmermann
2020-05-27	Release notes for 8.12.	Théo Zimmermann
2020-05-21	Fix an uncaught python exception in timing	Jason Gross
2020-05-18	Bump minimal versions of refman dependencies.	Théo Zimmermann
2020-04-03	Adding changelog for 8.11.1.	Pierre-Marie Pédrot
2020-03-29	[ci] [gitlab] Bump to edge to OCaml 4.10, add test-suite for OCaml 4.11	Emilio Jesus Gallego Arias
2020-03-18	[ci] [docker] Update to 4.09.1	Emilio Jesus Gallego Arias
2020-03-08	Minor improvements to the unreleased changelog.	Théo Zimmermann
2020-03-03	[loadpath] Rework and simplify ML loadpath handling	Emilio Jesus Gallego Arias
2020-01-22	Changelog for 8.11.0.	Théo Zimmermann
2020-01-03	[tools] Remove support for python2	Emilio Jesus Gallego Arias
2019-12-02	Allow to override build date with SOURCE_DATE_EPOCH	Bernhard M. Wiedemann
2019-12-02	Move unreleased changelog to new 8.11 section.	Théo Zimmermann
2019-11-28	[changelog] Add types to changelog entries.	Théo Zimmermann
2019-07-08	[core] [api] Support OCaml 4.08	Emilio Jesus Gallego Arias
2019-05-05	Create categories in changelog.	Théo Zimmermann