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

Back to bug 195

Who When What Removed Added
behrmann 2005-09-03 20:44:00 CEST CC martijnh
Status NEW ASSIGNED
behrmann 2005-09-03 21:04:26 CEST Severity normal enhancement
behrmann 2005-09-03 21:06:08 CEST Blocks 196
behrmann 2005-11-06 17:45:38 CET Priority P2 P1
behrmann 2005-11-09 12:44:21 CET Resolution --- FIXED
Status ASSIGNED RESOLVED

Back to bug 195