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

Back to bug 395

Who When What Removed Added
behrmann 2007-02-26 19:15:34 CET Severity normal major
Status NEW ASSIGNED
Priority P2 P1
ltm 2007-03-15 10:00:24 CET Status ASSIGNED RESOLVED
Resolution --- FIXED
behrmann 2007-03-15 10:30:55 CET Status RESOLVED REOPENED
Resolution FIXED ---
behrmann 2007-03-15 10:31:04 CET Status REOPENED ASSIGNED
behrmann 2007-05-13 18:10:07 CEST Priority P1 P2

Back to bug 395