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

Back to bug 199

Who When What Removed Added
behrmann 2005-09-14 22:21:29 CEST Status NEW ASSIGNED
behrmann 2005-09-22 13:29:10 CEST Assignee behrmann masa
Status ASSIGNED NEW
masa 2005-09-28 12:18:17 CEST Status NEW ASSIGNED
behrmann 2005-10-04 16:42:15 CEST Severity normal enhancement
behrmann 2006-02-03 13:06:11 CET Priority P2 P3
behrmann 2006-02-23 17:05:40 CET Assignee masa egir
Status ASSIGNED NEW
egir 2006-03-03 12:30:44 CET Status NEW ASSIGNED

Back to bug 199