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

Re: [tlaplus] TLA+ Toolbox 1.5.4 release

From: loki der quaeler <qua...@xxxxxxxxx>
Date: Mon, 1 Jan 2018 13:04:22 -0800 (PST)
References: <43a5f2ae-179e-d468-21be-99014ca97fe8@lemmster.de> <adaaa2c0-2569-cfb4-a313-ffa5664b6bcb@lemmster.de> <e3fe12e7-77a6-4623-a191-327eecba4391@googlegroups.com> <de5542dc-b4c6-4e46-a9c5-43b5ba6a7d8d@googlegroups.com>

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?

Follow-Ups:
- Re: [tlaplus] TLA+ Toolbox 1.5.4 release
  - From: Thomas Clifford

References:
- TLA+ Toolbox 1.5.4 release
  - From: Markus Alexander Kuppe
- Re: [tlaplus] TLA+ Toolbox 1.5.4 release
  - From: Markus Alexander Kuppe
- Re: [tlaplus] TLA+ Toolbox 1.5.4 release
  - From: Thomas Clifford
- Re: [tlaplus] TLA+ Toolbox 1.5.4 release
  - From: Thomas Clifford

Prev by Date: Re: [tlaplus] TLA+ Toolbox 1.5.4 release
Next by Date: Re: [tlaplus] TLA+ Toolbox 1.5.4 release
Previous by thread: Re: [tlaplus] TLA+ Toolbox 1.5.4 release
Next by thread: Re: [tlaplus] TLA+ Toolbox 1.5.4 release
Index(es):
- Date
- Thread