coq - The formal proof system

Age	Commit message (Expand)	Author
2020-07-01	UIP in SProp	Gaëtan Gilbert
2020-05-14	Add a changelog for 8.11.2.	Pierre-Marie Pédrot
2020-04-13	Fix #11783 Require in Section	Gaëtan Gilbert
2020-04-03	Adding changelog for 8.11.1.	Pierre-Marie Pédrot
2020-03-12	Add changelog entry	SimonBoulier
2020-01-22	Move new entries in 8.11.0 changelog.	Théo Zimmermann
2020-01-22	Changelog for 8.11.0.	Théo Zimmermann
2020-01-22	Fix #11421 computation of Set+2	Gaëtan Gilbert
2020-01-13	Native compute: cleanup temporary files on program exit	Gaëtan Gilbert
2020-01-06	Fix #11360: discharge of template inductive with param only use of var	Gaëtan Gilbert
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-11-28	Fix extension of changelog file.	Théo Zimmermann
2019-11-01	docs: Add entry in changelog	Erik Martin-Dorel
2019-10-24	Release notes for Coq 8.10.1	Vincent Laporte
2019-10-16	Fix a De Bruijn bug in the computation of term relevance in the kernel.	Pierre-Marie Pédrot
2019-10-05	Changelog for SProp on	Gaëtan Gilbert
2019-09-25	Adding documentation for the move of sections data to kernel.	Pierre-Marie Pédrot
2019-09-12	Release notes for 8.10+beta3.	Théo Zimmermann
2019-08-26	Document `Template Check` flag and add changelog entry for 9918	Matthieu Sozeau
2019-07-08	Adding a changelog.	Pierre-Marie Pédrot
2019-05-05	Create categories in changelog.	Théo Zimmermann