Version 1.5.3 of 14 April 2017

Rating: No reviews yet
Downloads: 1215
Change Set: 3c9e4bea8fbf
Released: Apr 17, 2017
Updated: Apr 17, 2017 by mku
Dev status: Stable Help Icon

Recommended Download

Application TLAToolbox-1.5.3-win32.win32.x86_64.zip
application, 90769K, uploaded Apr 16 - 253 downloads

Other Available Downloads

Application TLAToolbox-1.5.3-linux.gtk.x86.zip
application, 90532K, uploaded Apr 16 - 177 downloads
Application TLAToolbox-1.5.3-linux.gtk.x86_64.zip
application, 90673K, uploaded Apr 16 - 190 downloads
Application TLAToolbox-1.5.3-macosx.cocoa.x86_64.zip
application, 90439K, uploaded Apr 16 - 212 downloads
Application TLAToolbox-1.5.3-win32.win32.x86.zip
application, 90742K, uploaded Apr 16 - 186 downloads
Application TLA+ Tools
application, 3960K, uploaded Apr 16 - 197 downloads

Release Notes

Version 1.5.3 - 14 April 2017

http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html#release

Reviews for this release

No reviews yet for this release.