[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: New release: TLAPS version 1.4.3
I'm sorry, I clicked "send" too quickly. This new release is available at:
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 .
> -- Damien Doligez
>  https://tlaps.codeplex.com/workitem/list/basic?size=2147483647