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

Back to bug 601

Who When What Removed Added
marius 2015-12-08 13:47:06 CET Status NEW ASSIGNED
marius 2020-06-08 11:59:42 CEST Status ASSIGNED RESOLVED
Resolution --- INVALID

Back to bug 601