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

Back to bug 218

Who When What Removed Added
behrmann 2005-11-04 15:38:58 CET Severity normal enhancement
Status NEW ASSIGNED
behrmann 2005-11-06 17:40:26 CET Priority P2 P1
behrmann 2005-11-20 14:02:02 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 218