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

Back to bug 407

Who When What Removed Added
behrmann 2007-03-23 13:24:51 CET Status NEW ASSIGNED
marius 2007-04-30 17:14:39 CEST CC marius
behrmann 2007-05-13 18:06:23 CEST Severity normal enhancement

Back to bug 407