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

Back to bug 177

Who When What Removed Added
behrmann 2005-07-17 18:18:24 CEST Status NEW ASSIGNED
hanssen 2005-07-20 11:36:30 CEST Attachment #51 Attachment mime type application/octet-stream text/plain
behrmann 2005-08-05 18:49:32 CEST Version 3.5.7 3.5.8
behrmann 2005-08-05 20:51:48 CEST Severity normal critical
Status ASSIGNED RESOLVED
OS Linux All
Hardware PC All
Resolution --- FIXED
behrmann 2005-08-05 20:55:31 CEST Severity critical major

Back to bug 177