[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: Jumping to end of process in PlusCal?
From
: Leslie Lamport <
tlapl...@xxxxxxxxx
>
Date
: Fri, 29 Jul 2016 11:58:30 -0700 (PDT)
References
: <
d5e0115f-82bd-4219-98c4-2a056522121a@googlegroups.com
>
There is an implicit label "Done" at the end of the process, so you can write
goto Done
Leslie
Follow-Ups
:
Re: Jumping to end of process in PlusCal?
From:
Elliott Jin
References
:
Jumping to end of process in PlusCal?
From:
Elliott Jin
Prev by Date:
Jumping to end of process in PlusCal?
Next by Date:
Experimenting with PlusCal / TLA+ at Dropbox
Previous by thread:
Jumping to end of process in PlusCal?
Next by thread:
Re: Jumping to end of process in PlusCal?
Index(es):
Date
Thread