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

Back to bug 131

Who When What Removed Added
johnh 2005-02-21 17:15:27 CET Status NEW ASSIGNED
johnh 2005-03-11 14:02:51 CET Status ASSIGNED RESOLVED
Resolution --- FIXED
behrmann 2005-03-30 22:07:29 CEST Severity normal minor
Status RESOLVED REOPENED
Resolution FIXED ---
behrmann 2005-05-10 17:05:34 CEST Status REOPENED RESOLVED
Resolution --- FIXED

Back to bug 131