Create your free account today to subscribe to this repository for
notifications about new releases, and build software alongside
31 million developers on GitHub.
Apr 17, 2017
since this release
Version 1.5.3 - 14 April 2017
http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html#release or click here for a more technical changelog