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

Back to bug 627

Who When What Removed Added
nmouri12 2016-11-11 15:33:32 CET CC nmouri12
nmouri12 2016-11-11 15:34:23 CET CC rhje12
nmouri12 2016-11-11 15:34:53 CET CC ulrik
marius 2017-02-20 09:57:45 CET Status NEW ASSIGNED

Back to bug 627