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

Re: TLC code

From: Ron Pressler <r...@xxxxxxxxxxxxxxxxxxx>
Date: Wed, 2 Dec 2015 08:09:03 -0800 (PST)
References: <807ab4ee-1652-471b-9c55-547e70d38b47@googlegroups.com> <63a66cfb-2b29-43d2-9a11-3ea3e2ba5f43@googlegroups.com> <67cb2531-a2a8-49ee-87ae-764837c758b2@googlegroups.com>

Oh, I thought it was some feature I wasn't aware of :)

On Wednesday, December 2, 2015 at 3:43:39 PM UTC+2, fl wrote:

> Out of curiosity, what do you mean by "TLC code"? I am not familiar with that.

Excuse me. I mean PLUSCAL obviously.

--
FL

References:
- TLC code
  - From: fl
- Re: TLC code
  - From: Ron Pressler
- Re: TLC code
  - From: fl

Prev by Date: Re: [tlaplus] The effect of symmetry sets on TLC performance
Next by Date: Re: The effect of symmetry sets on TLC performance
Previous by thread: Re: TLC code
Next by thread: PlusCal: implicit label Error (PlusCal translator bug?)
Index(es):
- Date
- Thread