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

Back to bug 471

Who When What Removed Added
adavid 2009-06-19 16:59:52 CEST Status NEW ASSIGNED
adavid 2009-06-19 17:00:27 CEST Severity enhancement minor
marius 2010-05-25 17:06:03 CEST Depends on 488
Status ASSIGNED RESOLVED
Resolution --- DUPLICATE
adavid 2010-05-25 17:10:44 CEST Status RESOLVED CLOSED

Back to bug 471