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

Back to bug 469

Who When What Removed Added
adavid 2009-06-19 17:10:03 CEST Severity normal minor
Status NEW ASSIGNED
adavid 2009-08-11 11:47:41 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 469