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

Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox

From: Jaak Ristioja <jaak.r...@xxxxxxxx>
Date: Fri, 27 Nov 2015 10:44:55 +0200
References: <56548C3A.2080601@cyber.ee> <565491FD.9010001@lemmster.de> <565494DE.7040400@cyber.ee> <5654967B.7020703@lemmster.de> <5655AAD6.8030102@cyber.ee> <5655AE81.10600@lemmster.de> <5655B31D.6090301@cyber.ee> <56572FA4.2010100@lemmster.de>
User-agent: curl/7.45.0

On 26.11.2015 18:13, Markus Alexander Kuppe wrote:
> the newest nightly build [1] does not show this problem anymore.

I did some quick tests and I can confirm that the nightly dated
26-Nov-2015 16:29 does not have this problem. Thanks! :)

Jaak

References:
- PlusCal sometimes not working in TLA+ Toolbox
  - From: Jaak Ristioja
- Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox
  - From: Markus Alexander Kuppe
- Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox
  - From: Jaak Ristioja
- Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox
  - From: Markus Alexander Kuppe
- Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox
  - From: Jaak Ristioja
- Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox
  - From: Markus Alexander Kuppe
- Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox
  - From: Jaak Ristioja
- Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox
  - From: Markus Alexander Kuppe

Prev by Date: Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox
Next by Date: TLC code
Previous by thread: Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox
Next by thread: Hyperbook Question 6.4
Index(es):
- Date
- Thread