Control: tags -1 fixed-upstream Hello,
There is a new upstream version, and it is ported to Qt5. https://svn.win.tue.nl/trac/MCRL2/browser/trunk/CHANGES
Changes between toolset releases 201409.0 and 201707.0: ... - The graphical tools now use Qt5.5 or higher instead of Qt4. ...
Regards, Juhani
