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

Back to bug 105

Who When What Removed Added
behrmann 2004-06-16 18:00:58 CEST Status NEW ASSIGNED
behrmann 2004-06-29 13:46:05 CEST Assignee behrmann adavid
Status ASSIGNED NEW
adavid 2004-06-30 12:51:03 CEST Status NEW RESOLVED
Resolution --- INVALID
behrmann 2005-02-18 11:08:56 CET Status RESOLVED CLOSED
behrmann 2006-10-12 18:00:22 CEST OS other All
behrmann 2006-10-12 18:01:43 CEST Resolution INVALID ---
Status CLOSED REOPENED
behrmann 2006-10-13 19:52:58 CEST CC behrmann
behrmann 2006-10-13 20:28:24 CEST Assignee adavid behrmann
Status REOPENED NEW
behrmann 2006-10-13 20:31:18 CEST Status NEW ASSIGNED
behrmann 2006-10-14 00:23:18 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 105