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

Back to bug 168

Who When What Removed Added
behrmann 2005-06-24 14:04:53 CEST Assignee masa behrmann
behrmann 2005-06-29 17:54:42 CEST Severity normal minor
Status NEW ASSIGNED
behrmann 2005-11-23 15:59:20 CET Priority P2 P1
behrmann 2005-12-15 23:54:13 CET Resolution --- FIXED
Status ASSIGNED RESOLVED

Back to bug 168