[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Choose and TLC

From: fl <freder...@xxxxxxxxxxx>
Date: Tue, 2 Feb 2016 04:03:29 -0800 (PST)
References: <d5d95858-b877-40d4-b186-66821479fc53@googlegroups.com> <56B05E7F.3010100@lemmster.de>

Hi Markus,

I added your idea to the Codeplex issue tracker [1] to look into it
later.

It is kind of you.

I personally don't have the necessary bandwidth in the
foreseeable future though.

OK.

--

FL

References:
- Choose and TLC
  - From: fl
- Re: [tlaplus] Choose and TLC
  - From: Markus Alexander Kuppe

Prev by Date: Re: [tlaplus] Invariance under transition order
Next by Date: Re: [tlaplus] Invariance under transition order
Previous by thread: Re: [tlaplus] Choose and TLC
Next by thread: Re: Choose and TLC
Index(es):
- Date
- Thread