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

Back to bug 411

Who When What Removed Added
tbourke 2007-04-10 13:28:26 CEST CC tbourke
behrmann 2007-04-10 14:07:41 CEST Status NEW ASSIGNED
marius 2019-10-21 10:16:11 CEST Assignee behrmann marius
CC marius

Back to bug 411