Skip to content

Tags: ggonthier/math-comp

Tags

mathcomp-1.11.0

Toggle mathcomp-1.11.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request math-comp#533 from affeldt-aist/changelogs_before_…

…release

edit changelogs before release

mathcomp-1.11.0+beta1

Toggle mathcomp-1.11.0+beta1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request math-comp#487 from affeldt-aist/changelogs_release…

…_1.11.0+beta1

preparing changelogs to release 1.11.0+beta1

mathcomp-1.11+beta1

Toggle mathcomp-1.11+beta1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request math-comp#487 from affeldt-aist/changelogs_release…

…_1.11.0+beta1

preparing changelogs to release 1.11.0+beta1

mathcomp-1.10.0

Toggle mathcomp-1.10.0's commit message
update changelogs for the 1.10.0 release

mathcomp-1.9.0

Toggle mathcomp-1.9.0's commit message
htmldoc regenerated

mathcomp-1.8.0

Toggle mathcomp-1.8.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Update CHANGELOG.md

mathcomp-1.7.0

Toggle mathcomp-1.7.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request math-comp#198 from math-comp/close-changelog-4-rel…

…ease

Close ChangeLog to release 1.7

mathcomp-1.6.4

Toggle mathcomp-1.6.4's commit message
No more `cm*` files in the installer!

Since they are all in Coq!

mathcomp-odd-order.1.6.3

Toggle mathcomp-odd-order.1.6.3's commit message
Merge pull request math-comp#152 from CohenCyril/release/odd_order/1.6

Release/odd order/1.6

mathcomp-1.6.3

Toggle mathcomp-1.6.3's commit message
Merge pull request math-comp#151 from CohenCyril/release/1.6

Release/1.6