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

Re: [tlaplus] Re: Stuttering state when fairness specified

On 29.04.2015 20:31, Chen Fu wrote:
> Thank you both very much for going out of you way to help me. I may have
> downloaded the wrong version. can you give me a link?

Hi Chen Fu,

the location for the (yet unreleased) 1.4.9 Toolbox is at