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

Back to bug 416

Who When What Removed Added
behrmann 2007-05-13 17:57:00 CEST Status NEW ASSIGNED
behrmann 2007-05-13 18:03:37 CEST Priority P2 P1
marius 2019-10-21 10:15:36 CEST Assignee behrmann marius

Back to bug 416