back window issue

1 view
Skip to first unread message

Jing Sun

Aug 3, 2023, 10:55:02 PM8/3/23
to ProB Users
When I launch ProB after the installation on my Mac laptop, the black window issue happened. I checked the TCL/TK version is correct. Not sure if anyone has a solution for this? Many thanks.
Reply all
Reply to author
0 new messages