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

Re: [tlaplus] Error when adding an Invariant

From: Sowmy Srinivasan <sow...@xxxxxxxxx>
Date: Fri, 25 Sep 2015 10:25:12 -0700 (PDT)
References: <a3a0946e-c452-4744-8495-eefd46589b04@googlegroups.com> <56057F7A.9030804@lemmster.de>

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

References:
- Error when adding an Invariant
  - From: Sowmy Srinivasan
- Re: [tlaplus] Error when adding an Invariant
  - From: Markus Alexander Kuppe

Prev by Date: Re: [tlaplus] Error when adding an Invariant
Next by Date: Re: [tlaplus] Download link of TLA+ tools is not valid.
Previous by thread: Re: [tlaplus] Error when adding an Invariant
Next by thread: Re: Error when adding an Invariant
Index(es):
- Date
- Thread