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

Back to bug 671

Who When What Removed Added
marius 2019-10-25 16:47:42 CEST Status NEW ASSIGNED
marius 2019-12-18 14:35:21 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 671