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

Back to bug 476

Who When What Removed Added
adavid 2009-08-07 12:42:09 CEST Status NEW ASSIGNED
adavid 2009-08-07 12:43:24 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED
adavid 2009-08-07 12:47:10 CEST Status RESOLVED REOPENED
Resolution FIXED ---
adavid 2009-08-07 12:47:43 CEST Status REOPENED RESOLVED
Resolution --- DUPLICATE

Back to bug 476