Re: [tlaplus] help

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

On 09.12.20 04:02, 李响 wrote:
> Sorry for disturbing you,
> but could you please tell me how to solve the problem in the picture,
> Waiting for your answer!



Hi,

please open an issue [1] and attach the output of 
~/.tlaplus/.metadata/.log that is located in your home directory [2].

Thanks,
Markus

[1] https://github.com/tlaplus/tlaplus/issues/
[2] https://tla.msr-inria.inria.fr/tlatoolbox/doc/trouble/trouble.html 
(see "Reporting Problems")

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/9443b39d-2861-f0b7-12b4-ed8fd4dfde75%40lemmster.de.