Microsoft Download Center Archive

TLA Toolbox: Linux 64-bit

  • Published:
  • Version: 1.4.5
  • Product: Other
  • 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.

Files
TLAToolbox-1.4.5-linux.gtk.x86_64.zip

    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: Linux

    • Linux

    Installation Instructions

    • Click Download and follow the instructions.

    What is this?

    Microsoft regularly deletes downloads for prior versions of Windows, Office, Visual Studio, SQL Server, and countless other products from their Download Center website. Legacy Update catalogues downloads that have been deleted from Microsoft Download Center since 2012.

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

    Deleted downloads are no longer supported by Microsoft, and may have known security vulnerabilities. After installing, check for updates using Legacy Update.

    This page was generated from a snapshot of the Microsoft Download Center made on .