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

Re: [tlaplus] A predictable choice

From: fl <freder...@xxxxxxxxxxx>
Date: Wed, 18 Nov 2015 09:09:21 -0800 (PST)
References: <a73c5c92-fa17-468a-b200-28415fa02bed@googlegroups.com> <70B3F6C0-DFEE-42AC-9766-8A30F95A915A@gmail.com>

> Typically it is the latter that you want. (Stephan)

> ... but it is the same one every time. (Markus)

OK. Thank you Stephan. Thank you Markus.

--

FL

References:
- A predictable choice
  - From: fl
- Re: [tlaplus] A predictable choice
  - From: Stephan Merz

Prev by Date: Re: [tlaplus] A predictable choice
Next by Date: Re: [tlaplus] some help needed in running tlc in distributed mode
Previous by thread: Re: [tlaplus] A predictable choice
Next by thread: Re: [tlaplus] A predictable choice
Index(es):
- Date
- Thread