coq - The formal proof system

Age	Commit message (Expand)	Author
2020-02-04	Add changelog for non maximal implicit args	SimonBoulier
2020-01-22	Changelog for 8.11.0.	Théo Zimmermann
2020-01-08	Update doc/changelog/02-specification-language/11368-trailing_implicit_error.rst	SimonBoulier
2020-01-07	Trailing implicit error: changelog	SimonBoulier
2019-12-30	Merge PR #11233: Fixes #11231: missing dependency in looking for default clau...	Pierre-Marie Pédrot
2019-12-12	restrict minimization to set to flexibles	Gaëtan Gilbert
2019-12-04	Update doc/changelog/02-specification-language/11233-master+fix11231-missing-...	Hugo Herbelin
2019-12-03	Fixes #11231 (missing dependency in pattern-matching decompilation).	Hugo Herbelin
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-21	Merge PR #11132: Fixing bugs in the computation of implicit arguments for `Fi...	Emilio Jesus Gallego Arias
2019-11-21	Update doc/changelog/02-specification-language/11132-master+fix-implicit-let-...	Hugo Herbelin
2019-11-19	Fixing bugs in the computation of implicit arguments for fix with a let binder.	Hugo Herbelin
2019-11-13	Return of Refine Instance as an attribute.	Gaëtan Gilbert
2019-10-31	Merge PR #10985: Print argument info as an Arguments command in About	Emilio Jesus Gallego Arias
2019-10-31	changelog for #10985	Gaëtan Gilbert
2019-10-30	Implement the unsupported attribute error using the warning system	Gaëtan Gilbert
2019-09-16	Fix #10757: Program Fixpoint uses "exists" for telescopes	Gaëtan Gilbert
2019-07-18	Adding changelog and documentation.	Pierre-Marie Pédrot
2019-07-04	Fix miscellaneous mistakes in unreleased changelog entries.	Théo Zimmermann
2019-06-04	Fix typo in changelog	Enrico Tassi
2019-06-04	[rewrite] Add Morphism syntax made different for module type parameters	Enrico Tassi
2019-06-04	[function] always open a proof when used with `wf` or `measure`	Enrico Tassi
2019-05-28	[elaboration] Bidirectionality hints	Maxime Dénès
2019-05-23	do not parse `\|` as infix in patterns; parse `\|}` as `\|` `}`	Georges Gonthier
2019-05-10	Changelog for PR #10076	Vincent Laporte
2019-05-05	Create categories in changelog.	Théo Zimmermann