- Bug ID: 476
| ID | Product | Comp | Assignee▲ | Status▲ | Resolution | Summary | Changed |
|---|---|---|---|---|---|---|---|
| 476 | UPPAAL | GUI | adavid | RESO | DUPL | mac version of uppaal does not start | 2009-08-07 |
File a new bug in the "GUI" component of the "UPPAAL" product