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

Re: Version 1.4.6: Open Source Release of TLA+ Tools

From: Leslie Lamport <tlapl...@xxxxxxxxx>
Date: Tue, 21 May 2013 01:08:07 -0700 (PDT)
References: <CAAWQ4M5XVUAmJqH+tBDmGy5OMv7sXgEAOTH=nXTJ-_Ry5NhE7g@mail.gmail.com>

The TLAPS web site is back on the web at

http://tla.msr-inria.inria.fr/tlaps

This URL may change, so go to the TLA+ web page to find it.

Leslie

References:
- Version 1.4.6: Open Source Release of TLA+ Tools
  - From: TLA Plus

Prev by Date: Re: [tlaplus] Deontic logic with TLA+
Next by Date: hyperbook release
Previous by thread: Re: [tlaplus] Re: Version 1.4.6: Open Source Release of TLA+ Tools
Next by thread: How should we fix a very minor TLC bug?
Index(es):
- Date
- Thread