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

Back to bug 591

Who When What Removed Added
da13683 2015-03-02 14:12:02 CET Architecture x86_64 (64bit)
marius 2015-03-23 16:42:28 CET OS Linux All
Status NEW ASSIGNED

Back to bug 591