This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Back to bug 630

Who When What Removed Added
tgunde13 2017-04-04 11:56:55 CEST CC tgunde13
marius 2017-04-05 08:47:08 CEST Status NEW ASSIGNED
OS Windows 10 All
marius 2019-10-28 14:06:24 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 630