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

Back to bug 371

Who When What Removed Added
behrmann 2006-11-16 17:46:27 CET Severity normal enhancement
Status NEW ASSIGNED
behrmann 2006-12-07 10:20:44 CET Priority P2 P1
behrmann 2006-12-27 21:46:19 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 371