[metis-users] Changes in Metis 2.3 release 20150303

[Joe Leslie-Hurd]

Hi Andres,

The changelog describes the major changes between version numbers
(e.g., 2.2 to 2.3). However, for a given version number I tend to make
releases very frequently, after even trivial changes. In the case of
metis 2.3 (release 20150303) I believe it was simply the change in the
proof annotations from using a string type to a datatype, as described
in this email:

http://www.gilith.com/metis/mailing-list/2015-March/000030.html

It is possible to keep track of every change in the project using git,
by cloning the development version of Metis as described on this page:

http://src.gilith.com/metis.html

In addition to this mechanism, I'll try to do a better job of
announcing releases on this mailing list if they embody any
non-trivial changes.

Cheers,

Joe

On Sat, Mar 21, 2015 at 8:04 AM, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
> Hi Joe,
>
> Which were the changes in Metis 2.3 release 20150303? I couldn't find
> this information in
> http://www.gilith.com/software/metis/changelog.html.
>
> It would be great if you announce the new versions/releases of Metis
> in this mailing list.
>
> Best,
>
> --
> Andrés
>
> _______________________________________________
> metis-users mailing list
> metis-users at gilith.com
> http://www.gilith.com/metis/mailing-list