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

Back to bug 286

Who When What Removed Added
behrmann 2006-03-07 16:52:15 CET Status NEW ASSIGNED
behrmann 2006-03-16 20:51:33 CET Assignee behrmann adavid
Status ASSIGNED NEW
adavid 2006-03-27 12:28:46 CEST Status NEW ASSIGNED
behrmann 2006-04-19 16:35:24 CEST Priority P2 P1
behrmann 2006-05-04 12:07:17 CEST Status ASSIGNED RESOLVED
Resolution --- WONTFIX

Back to bug 286