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

Back to bug 63

Who When What Removed Added
behrmann 2003-10-02 10:55:59 CEST Status NEW ASSIGNED
behrmann 2003-10-10 12:11:32 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED
behrmann 2004-03-15 07:42:39 CET Status RESOLVED CLOSED
s991067 2004-10-19 22:23:03 CEST Status CLOSED REOPENED
Resolution FIXED ---
behrmann 2004-12-03 15:22:10 CET Status REOPENED RESOLVED
Resolution --- FIXED
behrmann 2005-06-29 21:23:35 CEST Status RESOLVED CLOSED

Back to bug 63