When I launch ProB after installation, it gave a b...
Description
Environment
None
Activity
Show:
Details
Details
Assignee
Jens Bendisposto
Jens BendispostoReporter
blah111b
blah111bCreated August 4, 2023 at 2:52 AM
Updated August 4, 2023 at 2:52 AM
When I launch ProB after installation, it gave a black window. I checked that the correct version of TCL/TK was installed and could not figure out how to fix this.
Reporter: Jing
E-mail: jing.sun@auckland.ac.nz