Microsoft Download Center Archive

TLA Toolbox: Mac 64-bit

  • Published:
  • Version: 1.4.5
  • Category: Tool
  • Language: English

An integrated development environment for writing and checking TLA+ specifications. Last published: February 28, 2013.

  • An integrated development environment for writing and checking TLA+ specifications.

Files

Status: Live

This download is still available on microsoft.com. The downloads below will come directly from the Microsoft Download Center.

FileSize
TLAToolbox-1.4.5-macosx.cocoa.x86_64.zip
SHA1: 059f100ee452a192a71bd7f6c815e4b2f17786d8
47.83 MB

File sizes and hashes are retrieved from the Wayback Machine’s indexes. They may not match the latest versions of files hosted on Microsoft servers.

System Requirements

Operating Systems: Macintosh

    • Apple Macintosh OS X

Installation Instructions

    • Click Download and follow the instructions.

What is this?

In August 2020, Microsoft deleted thousands of downloads for prior versions of Windows, Office, Visual Studio, SQL Server, and countless other products. Legacy Update has catalogued the Microsoft Download Center as it stood prior to August 2020.

Check our Microsoft Download Center Archive homepage to discover more downloads.