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

Re: [tlaplus] TLA+ Toolbox java exception



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