Re: New release: TLAPS version 1.4.3

[Damien Doligez <damien....@xxxxxxxx>]

I'm sorry, I clicked "send" too quickly. This new release is available at:
    http://tla.msr-inria.inria.fr/tlaps/content/Download/Binaries.html
or
    http://tla.msr-inria.inria.fr/tlaps/dist/current

-- D

On Mon, Jun 15, 2015 at 6:53 PM, Damien Doligez <damien....@xxxxxxxx> wrote:
> Dear users,
>
> We have released a new version (1.4.3) of TLAPS. This version contains
> a good number of bug fixes, but no new feature. We expect that proofs
> made with the previous version will still work with this one.
>
> Please report any problems through the CodePlex bug tracker [1].
>
> -- Damien Doligez
>
> [1] https://tlaps.codeplex.com/workitem/list/basic?size=2147483647