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

Back to bug 468

Who When What Removed Added
adavid 2009-06-19 17:11:42 CEST Status NEW ASSIGNED
adavid 2009-08-10 11:50:33 CEST Severity normal major
adavid 2009-08-12 19:05:53 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 468