[metis-users] Changes in Metis 2.3 release 20150303

[Andrés Sicard-Ramírez]

Hi Joe,

On 24 March 2015 at 19:04, Joe Leslie-Hurd <joe at gilith.com> wrote:
> 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
>

Thank you for the information.

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

Great. Thanks!

Best,

-- 
Andrés