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

Re: [tlaplus] Re: Toolbox 1.5.0 release candidates

From: ret2...@xxxxxxxxx
Date: Sat, 27 Jun 2015 16:03:31 -0700 (PDT)
References: <55464B5C.7060006@lemmster.de> <3a63cb15-f956-4a4c-9893-3fc1a379add8@googlegroups.com> <5551DBC3.2060002@lemmster.de>

I am still getting 'NewSpecWizard job' has encountered a problem. An internal error occurred during "NewSpecWizard job":

Clicking on details shows nothing - no trace. Disappointed.

References:
- Toolbox 1.5.0 release candidates
  - From: Markus Alexander Kuppe
- Re: Toolbox 1.5.0 release candidates
  - From: Robert Shore
- Re: [tlaplus] Re: Toolbox 1.5.0 release candidates
  - From: Markus Alexander Kuppe

Prev by Date: Re: [tlaplus] How to define a Sorted Array
Next by Date: Pluscal Print
Previous by thread: Re: [tlaplus] Re: Toolbox 1.5.0 release candidates
Next by thread: Re: Toolbox 1.5.0 final released
Index(es):
- Date
- Thread