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

Back to bug 117

Who When What Removed Added
behrmann 2004-12-02 11:58:50 CET Status NEW ASSIGNED
behrmann 2005-02-01 13:56:03 CET Assignee behrmann martijnh
Status ASSIGNED NEW
martijnh 2005-02-09 08:34:16 CET Status NEW ASSIGNED
behrmann 2005-08-25 15:52:22 CEST Assignee martijnh behrmann
Status ASSIGNED NEW
behrmann 2005-08-25 15:54:59 CEST CC martijnh
Status NEW ASSIGNED
behrmann 2005-09-03 21:06:08 CEST Blocks 196
behrmann 2005-11-06 17:48:07 CET Priority P2 P1
behrmann 2006-01-19 13:19:26 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 117