• p2repository.zip
    329 MB 2020-04-25T19:21:22Z
  • tla2tools.jar
    2.17 MB 2020-04-25T19:21:06Z
  • TLAToolbox-1.7.0-linux.gtk.x86_64.zip
    173 MB 2020-04-25T19:21:13Z
  • TLAToolbox-1.7.0-macosx.cocoa.x86_64.zip
    167 MB 2020-04-25T19:08:05Z
  • TLAToolbox-1.7.0-win32.win32.x86_64.zip
    172 MB 2020-04-25T19:21:07Z
  • TLAToolbox-1.7.0.deb
    170 MB 2020-04-25T19:21:18Z
  • Source code (zip)
    2020-04-25T18:56:13Z
  • Source code (tar.gz)
    2020-04-25T18:56:13Z