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

Back to bug 119

Who When What Removed Added
behrmann 2004-12-02 12:14:40 CET Status NEW ASSIGNED
behrmann 2005-02-01 13:55:17 CET Assignee behrmann martijnh
Status ASSIGNED NEW
martijnh 2005-02-09 08:34:39 CET Status NEW ASSIGNED
behrmann 2005-04-15 12:53:00 CEST Assignee martijnh behrmann
Status ASSIGNED NEW
behrmann 2005-04-15 12:53:12 CEST Status NEW ASSIGNED
behrmann 2005-04-16 15:59:16 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED
behrmann 2005-09-03 21:06:08 CEST Blocks 196

Back to bug 119