[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: Plus Cal Translation Does Nothing
From
: Leslie Lamport <
tlapl...@xxxxxxxxx
>
Date
: Sat, 2 Feb 2019 20:56:55 -0800 (PST)
References
: <
2f150854-0ad5-4ad5-906e-023cc4996249@googlegroups.com
>
Try removing the space between "--" and "algorithm"
Follow-Ups
:
Re: Plus Cal Translation Does Nothing
From:
Sean McCauliff
References
:
Plus Cal Translation Does Nothing
From:
Sean McCauliff
Prev by Date:
Plus Cal Translation Does Nothing
Next by Date:
Re: [tlaplus] Two Questions about (State) Constraints in TLC
Previous by thread:
Plus Cal Translation Does Nothing
Next by thread:
Re: Plus Cal Translation Does Nothing
Index(es):
Date
Thread