[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: [tlaplus] Creating an array of structures whose elements have different starting conditions
From
:
dunlapg@xxxxxxxxx
Date
: Wed, 21 Aug 2019 06:45:51 -0700 (PDT)
References
: <
f37bb466-9413-4afb-8acd-d082f68280e3@googlegroups.com
> <
3BAB2CF3-F89B-4A52-87CF-ACABCB4E8451@gmail.com
>
Ah, great -- that did the trick, and is much easier than the convoluted things I was trying to do. Many thanks!
-George
--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to
tlaplus+unsubscribe@xxxxxxxxxxxxxxxx
.
To view this discussion on the web visit
https://groups.google.com/d/msgid/tlaplus/b3308a4b-405e-4fe3-8f88-18f55e9dc44f%40googlegroups.com
.
References
:
[tlaplus] Creating an array of structures whose elements have different starting conditions
From:
dunlapg
Re: [tlaplus] Creating an array of structures whose elements have different starting conditions
From:
Stephan Merz
Prev by Date:
Re: [tlaplus] Scope of the QED keyword
Next by Date:
[tlaplus] Confusions about setting variant to NAT then getting it overriden
Previous by thread:
Re: [tlaplus] Creating an array of structures whose elements have different starting conditions
Next by thread:
[tlaplus] Confusions about setting variant to NAT then getting it overriden
Index(es):
Date
Thread