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

Macros with PlusCal and Toolbox

From: fl <freder...@xxxxxxxxxxx>
Date: Thu, 18 Dec 2014 09:34:19 -0800 (PST)

It is maybe a bug

I think that Toolbox doesn't want several PlusCal macros in an algorithm.

But the specification of PlusCal says it is possible.

--

FL

Follow-Ups:
- Re: Macros with PlusCal and Toolbox
  - From: Leslie Lamport
- Re: [tlaplus] Macros with PlusCal and Toolbox
  - From: Stephan Merz

Prev by Date: Re: End labels
Next by Date: Re: [tlaplus] Macros with PlusCal and Toolbox
Previous by thread: Re: End labels
Next by thread: Re: [tlaplus] Macros with PlusCal and Toolbox
Index(es):
- Date
- Thread