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

Back to bug 414

Who When What Removed Added
behrmann 2007-05-13 18:00:26 CEST Status NEW ASSIGNED
behrmann 2007-05-13 18:03:50 CEST Priority P2 P1
behrmann 2007-05-15 17:54:53 CEST Priority P1 P2
marius 2019-10-21 10:15:52 CEST CC marius
Assignee behrmann marius

Back to bug 414