coq-mathcomp - Library of mathematical components formalized in Coq

Age	Commit message (Expand)	Author
2020-11-26	Regrouping changelog entries for 1.12 release	Cyril Cohen
2020-06-09	edit changelogs before release	Reynald Affeldt
2020-05-06	Reword a CHANGELOG entry introduced in #429	Kazuhiko Sakaguchi
2020-04-15	preparing changelogs to release 1.11.0+beta1	Reynald Affeldt
2019-11-29	update changelogs for the 1.10.0 release	Yves Bertot
2019-06-26	docs: Add missing entry in CHANGELOG.md	Erik Martin-Dorel
2019-05-22	typo	Enrico
2019-05-22	Update CHANGELOG.md	Georges Gonthier
2019-05-21	Update CHANGELOG.md	Cyril Cohen
2019-05-17	refactor `seq` permutation theory	Georges Gonthier
2019-05-06	add `deprecate` helper notation; no `perm` in non-`perm_eq` lemma names	Georges Gonthier
2019-04-08	Update CHANGELOG.md	Cyril Cohen
2019-04-08	Update CHANGELOG.md	Cyril Cohen
2019-04-08	Update CHANGELOG.md	Cyril Cohen
2019-04-06	Permutations and other extensions to seq; fintype documentation	Georges Gonthier
2019-04-04	porting ChangeLog to Markdown format (#322)	Enrico