Custom UPPAAL pragma: "?" icon not working
When I click on the "?" icon located in the upper part of the UPPAAL custom pragma dialog window, nothing happens.
When I click on the "?" icon located in the upper part of the UPPAAL custom pragma dialog window, nothing happens.