coq - The formal proof system

Age	Commit message (Expand)	Author
2019-06-03	Merge PR #10277: Remove Show Script (deprecated in 8.10)	Théo Zimmermann
2019-06-03	Merge PR #10261: Update doc to reflect that PG now supports Coq-generated pro...	Théo Zimmermann
2019-06-03	Update doc to reflect that PG now supports Coq-generated proof diffs	Jim Fehrle
2019-05-31	Remove Show Script (deprecated in 8.10)	Gaëtan Gilbert
2019-05-28	[elaboration] Bidirectionality hints	Maxime Dénès
2019-05-25	Documenting syntax "injection ... as [= pat1 ... patn ]".	Hugo Herbelin
2019-05-23	do not parse `\|` as infix in patterns; parse `\|}` as `\|` `}`	Georges Gonthier
2019-05-21	Remove undocumented Instance : ! syntax	Gaëtan Gilbert
2019-05-20	Remove Refine Instance Mode option	Maxime Dénès
2019-05-13	Move last changelog entries for 8.10+beta1.	Théo Zimmermann
2019-05-13	Merge PR #10085: Do not include unreleased changelog in released versions.	Vincent Laporte
2019-05-13	Merge PR #10076: [Canonical structures] Annotation to field declarations to p...	Enrico Tassi
2019-05-10	Use Print Custom Grammar to inspect custom entries	Jasper Hugunin
2019-05-10	Changelog for PR #10076	Vincent Laporte
2019-05-08	Update release process documentation and changelog entry.	Théo Zimmermann
2019-05-05	Add changelog entry about moving changelog to refman.	Théo Zimmermann
2019-05-05	Create categories in changelog.	Théo Zimmermann
2019-05-05	New infrastructure for the unreleased changelog.	Théo Zimmermann