[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: Unknown operator error during the TLA+ lectures
From
: Leslie Lamport <
tlapl...@xxxxxxxxx
>
Date
: Wed, 6 Feb 2019 13:22:10 -0800 (PST)
References
: <
812c776b-060e-4ab6-9c4a-ea6877c29d94@googlegroups.com
>
Thank you Michael for reporting this problem and Neil for responding. I have noted this as a correction to the video. I urge everyone to report any such problem they encounter so I can post a correction to help other viewers.
Leslie
References
:
Unknown operator error during the TLA+ lectures
From:
Michael Chonewicz
Prev by Date:
Re: How does Fairness relate to the State Graph
Next by Date:
Re: [tlaplus] How does Fairness relate to the State Graph
Previous by thread:
[tlaplus] Re: Unknown operator error during the TLA+ lectures
Next by thread:
[tlaplus] Do I need a supercomputer
Index(es):
Date
Thread