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

Back to bug 116

Who When What Removed Added
behrmann 2004-12-02 11:58:41 CET Status NEW ASSIGNED
behrmann 2005-02-01 13:55:45 CET Assignee behrmann martijnh
Status ASSIGNED NEW
martijnh 2005-02-09 08:33:20 CET Status NEW ASSIGNED
behrmann 2005-09-03 16:51:59 CEST CC martijnh
Assignee martijnh behrmann
Status ASSIGNED NEW
behrmann 2005-09-03 16:52:06 CEST Status NEW ASSIGNED
behrmann 2005-09-03 18:36:25 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED
behrmann 2005-09-03 21:06:08 CEST Blocks 196

Back to bug 116