[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
TLA+ Toolbox 1.5.7 release
a new TLA+ Toolbox 1.5.7 release has been made available .
As always, this release fixes several bugs, contains performance
improvements and introduces new features. Please see the change log 
for a description of high-level changes or check the list of noteworthy
commits for a more thorough and technical perspective .