[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Re: New release: TLAPS version 1.4.3
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
It is fixed now, thanks for reporting it.
On Tue, Jun 16, 2015 at 3:16 AM, Y2i <yur...@xxxxxxxxx> wrote:
> It seems that the correct location is
> The reason the other locations do not work is because
> http://tla.msr-inria.inria.fr/tlaps/dist/current/ still points to version
> 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.