the virtual server appears to have crashed. I filed a ticket with the system administrators yesterday and hope that the issue will soon be resolved.
Sorry for the inconvenience
the toolbox download page doesn't work.
is there any alternative download link for getting the stable versions?
Am Sonntag, 5. April 2015 18:29:37 UTC+2 schrieb Markus Alexander Kuppe:
On 05.04.2015 18:07, Stephan Merz wrote:
> As mentioned in a reply by Markus Kuppe to a similar report, you may
> want to consider using the development version of the Toolbox,
> available at http://tla.msr-inria.inria.fr/kuppe/e4/products/. It is
> based on a current version of Eclipse and contains various
> improvements, in particular a new version of TLC that fixes a
> long-standing problem concerning counter-examples produced for
> liveness properties.
a minor correction: The most up-to-date and stable toolbox is at .
 is a development branch build which has all the changes that are in
 and additional fixes for liveness checking. However, I consider it
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