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

Back to bug 201

Who When What Removed Added
behrmann 2005-10-04 16:46:34 CEST Status NEW ASSIGNED
OS Linux All
Hardware PC All
Severity normal enhancement
behrmann 2005-11-06 17:44:42 CET Priority P2 P3

Back to bug 201