Ssreflect Users Discussion List

[Yves Bertot <>]

Dear all,

Reynald Affeldt and myself are working on preparing a release for 
Mathematical Components next week.  This release will contain the 
current state of master, plus the changes that are currently recorded as 
pull-requests in milestone 1.11.0

https://github.com/math-comp/math-comp/milestone/5

These pull requests are : #221. #471, #473, #477, #475

We expect that the changes brought by this release will be more 
disruptive than before, so we wish to make the release in two stages: 
first a beta-release next week, and a full release about 6 weeks later.  
We hope that every user of mathematical components will have time to 
check the compatibility of their work with the new version and report 
any problem to us.  Of course, the current health crisis makes that time 
constraints may be difficult to settle and we will be particularly keen 
to look for solutions that adapt best to the situation.

If you anticipate any problem with this plan, please warn us.

Take care,

Yves