[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
- From: Jaak Ristioja <jaak.r...@xxxxxxxx>
- Date: Tue, 21 Mar 2017 09:50:37 +0200
- User-agent: curl/7.45.0
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  (no
direct link from the webpage ), but version 1.5.2 on the download
page  seems to date back to January 2016.