[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: Plus Cal Translation Does Nothing
From
: Sean McCauliff <
sean.mc...@xxxxxxxxx
>
Date
: Sun, 3 Feb 2019 08:29:59 -0800 (PST)
References
: <
2f150854-0ad5-4ad5-906e-023cc4996249@googlegroups.com
> <
43879d80-4d2d-42ca-9ab3-5aee1373ddbb@googlegroups.com
>
That does the trick. Thanks!
On Saturday, February 2, 2019 at 8:56:55 PM UTC-8, Leslie Lamport wrote:
Try removing the space between "--" and "algorithm"
References
:
Plus Cal Translation Does Nothing
From:
Sean McCauliff
Re: Plus Cal Translation Does Nothing
From:
Leslie Lamport
Prev by Date:
Re: [tlaplus] Two Questions about (State) Constraints in TLC
Next by Date:
Mapping items from one constant to another?
Previous by thread:
Re: Plus Cal Translation Does Nothing
Next by thread:
Mapping items from one constant to another?
Index(es):
Date
Thread