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

Back to bug 474

Who When What Removed Added
adavid 2009-06-19 16:54:23 CEST Status NEW ASSIGNED
adavid 2009-06-19 16:55:11 CEST Severity normal critical
Priority P2 P1
adavid 2009-06-25 18:20:32 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED
adavid 2009-08-04 12:12:10 CEST CC edgar.lakis

Back to bug 474