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

Re: [tlaplus] help

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!


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


[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.