|
Hi, a new TLA+ Toolbox 1.5.2 release has been made available [1][2][3]. This release fixes several bugs, contains performance improvements and minor features. See the changelog [4] (updated soon) for a high-level description of changes or check the list of all commits [5]. Any previous Toolbox will automatically ask to update to 1.5.2 upon the next Toolbox startup. *Mac users beware*: Please do not use the Toolbox's built-in update mechanism this time! Starting with this new version, the Toolbox is released as an application bundle which better fits the Mac user experience. To install the new Toolbox, simply extract the Toolbox download to your “/Applications/” folder. Moving the directory named “workspace” from the old Toolbox installation located in “.../toolbox/toolbox.app/Contents/MacOS/” to the /Applications/TLA+ Toolbox.app/Contents/MacOS folder prior to launching, makes sure that the Toolbox remembers your specs. Thanks Markus [1] https://tla.msr-inria.inria. [2] https://bugzilla.tlaplus.net/tlatoolbox/products/ [3] https://tlaplus.codeplex.com/releases/ [4] http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html [5] https://tlaplus.codeplex.com/SourceControl/list/changesets |