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

Back to bug 318

Who When What Removed Added
behrmann 2006-04-26 21:47:03 CEST Severity normal minor
Status NEW ASSIGNED
behrmann 2006-05-09 14:11:58 CEST Priority P2 P1
behrmann 2006-05-17 11:28:00 CEST Priority P1 P2

Back to bug 318