@gares gares released this Apr 24, 2018 · 36 commits to master since this release

Assets 4

This release is compatible with Coq 8.6, 8.7 and 8.8.
Windows installers available for Coq 8.8.0.

The main changes are a refactoring of algC and ssrnum, which led to generalizations and renamings.
In the rest of the library a few theorems were added, generalized and/or renamed.
See the ChangeLog file for more details.

@CohenCyril CohenCyril released this Nov 7, 2017 · 329 commits to master since this release

Assets 4

This minor release:

  • fixes a few issues of the build system under Windows
  • removes compatibility with Coq 8.4.*; supported Coq versions are 8.5, 8.6 and 8.7
Oct 26, 2017
Merge pull request #152 from CohenCyril/release/odd_order/1.6
Release/odd order/1.6
Oct 26, 2017
Merge pull request #151 from CohenCyril/release/1.6
Release/1.6

@gares gares released this Oct 19, 2017 · 12 commits to release/1.6 since this release

Assets 4

This release adds compatibility with Coq 8.7.0.
Theory files are unchanged, only the build system is affected.

@thery thery released this Jun 24, 2017 · 6 commits to release/odd_order/1.6 since this release

Assets 2

odd order theorem for mathcomp

Dec 14, 2015
release 1.6
Nov 6, 2015
This is a beta release for mathcomp 1.6