help

28 views

Skip to first unread message

unread,

Dec 9, 2020, 8:00:01 AM12/9/20

to tla...@googlegroups.com

Sorry for disturbing you,

but could you please tell me how to solve the problem in the picture,

Waiting for your answer!

IE9CY$W7P48KA)0{59)EXF2.png

unread,

Dec 9, 2020, 12:08:47 PM12/9/20

to tla...@googlegroups.com

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")

Reply all

Reply to author

Forward

0 new messages