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

Re: [tlaplus] TLA+ Toolbox 1.5.4 release

Loki,  The spec status shows "parsed" with a green background.
Under the Windows menu, there is a "Parsing Errors" selection, but it is greyed out.

Might it be that if you don't specify a 'VARIABLE'', it just assumes non-commands or certain keywords are commands, 
and all others are variables ?

On Monday, January 1, 2018 at 4:04:22 PM UTC-5, loki der quaeler wrote:
Is the Spec Status in the lower right accompanied with a bright-green or dark-red colored bar?

Under the Window menu, is there a "Parsing Errors" menu item?