Tags: ggonthier/math-comp
Tags
Merge pull request math-comp#533 from affeldt-aist/changelogs_before_… …release edit changelogs before release
Merge pull request math-comp#487 from affeldt-aist/changelogs_release… …_1.11.0+beta1 preparing changelogs to release 1.11.0+beta1
Merge pull request math-comp#487 from affeldt-aist/changelogs_release… …_1.11.0+beta1 preparing changelogs to release 1.11.0+beta1
Merge pull request math-comp#198 from math-comp/close-changelog-4-rel… …ease Close ChangeLog to release 1.7
No more `cm*` files in the installer! Since they are all in Coq!
Merge pull request math-comp#152 from CohenCyril/release/odd_order/1.6 Release/odd order/1.6
Merge pull request math-comp#151 from CohenCyril/release/1.6 Release/1.6
PreviousNext