Version 1.4.8 of 25 February 2014

Rating: No reviews yet
Downloads: 44
Change Set: 6639bd91f4bb4f2
Released: Feb 25, 2014
Updated: Apr 20, 2015 by mku
Dev status: Stable Help Icon

Recommended Download

Application TLAToolbox-1.4.8-win32.win32.x86_64.zip
application, 49968K, uploaded Apr 20, 2015 - 15 downloads

Other Available Downloads

Application TLAToolbox-1.4.8-win32.win32.x86.zip
application, 49961K, uploaded Apr 20, 2015 - 5 downloads
Application TLAToolbox-1.4.8-macosx.cocoa.x86.zip
application, 49671K, uploaded Apr 20, 2015 - 3 downloads
Application TLAToolbox-1.4.8-macosx.cocoa.x86_64.zip
application, 49551K, uploaded Apr 20, 2015 - 8 downloads
Application TLAToolbox-1.4.8-linux.gtk.x86.zip
application, 49934K, uploaded Apr 20, 2015 - 1 download
Application TLAToolbox-1.4.8-linux.gtk.x86_64.zip
application, 50135K, uploaded Apr 20, 2015 - 12 downloads

Release Notes

  • Added a feature to Renumber Proof command.
  • Disallowed <*> and <+> in names of named proof steps.
  • Minor bug fixes to Toolbox and TLC.
  • Corrected definition of Tail in standard Sequences Module.

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

Reviews for this release

No reviews yet for this release.