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

Back to bug 58

Who When What Removed Added
behrmann 2003-09-16 11:14:38 CEST Severity normal major
Status NEW ASSIGNED
OS SunOS All
Hardware Sun All
behrmann 2003-09-17 15:36:04 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED
behrmann 2003-09-17 15:40:41 CEST CC ksi
behrmann 2003-09-22 16:32:38 CEST Status RESOLVED CLOSED

Back to bug 58