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

Back to bug 397

Who When What Removed Added
behrmann 2007-02-27 14:24:29 CET Severity normal major
Status NEW ASSIGNED
OS Mac OS All
Priority P2 P1
Hardware Macintosh All
ltm 2007-03-15 10:00:52 CET Status ASSIGNED RESOLVED
Resolution --- FIXED
behrmann 2007-03-15 10:31:29 CET Resolution FIXED ---
Status RESOLVED REOPENED
behrmann 2007-03-15 10:31:42 CET Status REOPENED ASSIGNED
behrmann 2007-05-13 18:09:32 CEST Priority P1 P2

Back to bug 397