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

Re: Translate PlusCal Algorithm menu item doesn't work in TLA+1.5.7 on MacOSX 10.13.6

From: dmitry.n...@xxxxxxxxx
Date: Sat, 17 Nov 2018 22:32:40 -0800 (PST)
References: <835c6ca0-3965-4213-b28c-a4f64e698ad6@googlegroups.com>

Thanks, Markus! Your comment helped me to find a typo in my spec.

References:
- Translate PlusCal Algorithm menu item doesn't work in TLA+1.5.7 on MacOSX 10.13.6
  - From: phi . . .

Prev by Date: Re: [tlaplus] building tlaplus from source fails
Next by Date: Re: [tlaplus] building tlaplus from source fails
Previous by thread: [tlaplus] Translate PlusCal Algorithm menu item doesn't work in TLA+1.5.7 on MacOSX 10.13.6
Next by thread: Trouble replicating figure 1-5 of _Practical TLA+_
Index(es):
- Date
- Thread