[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:

-- 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