[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: New release: TLAPS version 1.4.3

From: Y2i <yur...@xxxxxxxxx>
Date: Tue, 16 Jun 2015 00:16:19 -0700 (PDT)
References: <CALGm1VhJ1fi-x4fsOWYXroAo9zwr5VD9KHm42_p5_B_GweCU7Q@mail.gmail.com> <CALGm1VhFnYQZBdSS_pLdBkhVnivCbK5kbsV_9ctr4bXP0mRj+Q@mail.gmail.com>

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

Follow-Ups:
- Re: [tlaplus] Re: New release: TLAPS version 1.4.3
  - From: Damien Doligez

References:
- New release: TLAPS version 1.4.3
  - From: Damien Doligez
- Re: New release: TLAPS version 1.4.3
  - From: Damien Doligez

Prev by Date: Re: New release: TLAPS version 1.4.3
Next by Date: Re: [tlaplus] Re: New release: TLAPS version 1.4.3
Previous by thread: Re: New release: TLAPS version 1.4.3
Next by thread: Re: [tlaplus] Re: New release: TLAPS version 1.4.3
Index(es):
- Date
- Thread