Re: [tlaplus] TLA+ Toolbox java exception

[Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>]

On 12/19/2013 04:51 PM, yves teissier wrote:
> This is the log file.

Hi Yves,

it looks as if your spec and project files are gone on the file system
level. What is the directory content of
C:\Users\SESA188919\Documents\Perso\Technique\TLA+\toolbox\workspace\ if
it exists at all?

Markus