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

Re: [tlaplus] Re: Login required for TLA toolbox?

From: Alex Stangl <alex....@xxxxxxxxx>
Date: Fri, 17 Nov 2017 08:18:55 -0800 (PST)
References: <93b8f8cb-b8f5-4fbd-bd23-1d8cecc9a2a1@googlegroups.com> <0db60574-bbfa-4601-a1be-478f31b29aef@googlegroups.com> <bececd0b-20da-0663-5c52-f059d5fcd4a9@lemmster.de> <0cd2efb8-2663-b50f-26aa-81b6d3339ea7@lemmster.de>

Hi Markus,

The most recent nightly build seems to clear up the problem with that dialog box popping up. Thanks!

Alex

References:
- Login required for TLA toolbox?
  - From: Alex Stangl
- Re: Login required for TLA toolbox?
  - From: Alex Stangl
- Re: [tlaplus] Re: Login required for TLA toolbox?
  - From: Markus Alexander Kuppe
- Re: [tlaplus] Re: Login required for TLA toolbox?
  - From: Markus Alexander Kuppe

Prev by Date: Re: How to run TLA+ ToolBox model checking from command line?
Next by Date: Re: Why Amazon Chose TLA+
Previous by thread: Re: [tlaplus] Re: Login required for TLA toolbox?
Next by thread: Apparent bug in operators using \E
Index(es):
- Date
- Thread