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

Back to bug 279

Who When What Removed Added
behrmann 2006-02-26 21:47:00 CET Status NEW ASSIGNED
behrmann 2006-03-09 21:28:50 CET Severity normal enhancement
Priority P2 P1
behrmann 2006-03-16 11:43:34 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 279