Re: [tlaplus] Re: New release: TLAPS version 1.4.3

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

You're right. I'm sorry about this. I updated the link in the test
version of the site, but then I forgot to update it in the real
version.

It is fixed now, thanks for reporting it.

-- Damien

On Tue, Jun 16, 2015 at 3:16 AM, Y2i <yur...@xxxxxxxxx> wrote:
> It seems that the correct location is
> http://tla.msr-inria.inria.fr/tlaps/dist/1.4.3/
> The reason the other locations do not work is because
> http://tla.msr-inria.inria.fr/tlaps/dist/current/ still points to version
> 1.3.2
>
> --
> You received this message because you are subscribed to the Google Groups
> "tlaplus" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to tlaplus+u...@xxxxxxxxxxxxxxxx.
> To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
> Visit this group at http://groups.google.com/group/tlaplus.
> For more options, visit https://groups.google.com/d/optout.