[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Error when adding an Invariant



Thanks Markus.
My version is older. Here is version info.

TLA+ Toolbox provides a user interface for TLA+ Tools. 


This is Version 1.4.5 of 22 February 2013 and includes:

  - SANY Version 2.1 of 22 February 2013

  - TLC Version 2.05 of 24 October 2012

  - PlusCal Version 1.8 of 18 August 2012

  - TLATeX Version 1.0 of 21 February 2013


I will download 1.5.1. Thanks