Issues
- ProB hangs after starting model checkPROBPLUGIN-121Resolved issue: PROBPLUGIN-121Jens Bendisposto
- Export to ProB Classic does not workPROBPLUGIN-120Jens Bendisposto
- Error launching ProB Animation (If parent machine being extended has theorems in guards)PROBPLUGIN-89Resolved issue: PROBPLUGIN-89Jens Bendisposto
- "becomes such as" operation causes unhandled loop exceptionPROBPLUGIN-79Resolved issue: PROBPLUGIN-79Jens Bendisposto
4 of 4