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

Next release?

Hello!

The last release of the TLA+ Toolbox was more than a year ago. Are there
any plans for a next release soon? I know there are nightlies in [1] (no
direct link from the webpage [3]), but version 1.5.2 on the download
page [2] seems to date back to January 2016.


Best regards,
Jaak Ristioja
Cybernetica AS

  [1]: https://tla.msr-inria.inria.fr/tlatoolbox/ci/products/
  [2]: https://tla.msr-inria.inria.fr/tlatoolbox/products/
  [3]: http://lamport.azurewebsites.net/tla/tla.html