Version 1.5.2 of 24 December 2015

Rating: No reviews yet
Downloads: 833
Change Set: 84b958360575beb
Released: Dec 24, 2015
Updated: Apr 16, 2017 by mku
Dev status: Stable Help Icon

Recommended Download

Application TLAToolbox-1.5.2-win32.win32.x86_64.zip
application, 85967K, uploaded Dec 25, 2015 - 460 downloads

Other Available Downloads

Application TLAToolbox-1.5.2-linux.gtk.x86.zip
application, 85728K, uploaded Dec 24, 2015 - 36 downloads
Application TLAToolbox-1.5.2-linux.gtk.x86_64.zip
application, 85867K, uploaded Dec 25, 2015 - 86 downloads
Application TLAToolbox-1.5.2-macosx.cocoa.x86_64.zip
application, 85621K, uploaded Dec 25, 2015 - 129 downloads
Application TLAToolbox-1.5.2-win32.win32.x86.zip
application, 85942K, uploaded Dec 25, 2015 - 43 downloads
Application TLA+ Tools
application, 4322K, uploaded Dec 25, 2015 - 79 downloads

Reviews for this release

No reviews yet for this release.