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

Back to bug 44

Who When What Removed Added
behrmann 2003-09-11 17:21:08 CEST Assignee behrmann ulrikl
ulrik 2003-09-21 13:41:51 CEST Status NEW ASSIGNED
ulrik 2003-09-21 13:44:34 CEST Status ASSIGNED RESOLVED
Resolution --- LATER
behrmann 2005-06-29 21:36:50 CEST Resolution LATER ---
Version 3.3.38 3.5.7
Severity normal minor
Status RESOLVED REOPENED
behrmann 2005-07-02 18:56:36 CEST Assignee ulrikl behrmann
Status REOPENED NEW
behrmann 2005-07-02 18:56:57 CEST Status NEW ASSIGNED
behrmann 2005-11-06 18:24:33 CET Priority P2 P3

Back to bug 44