- Bug ID: 378
| ID | Product | Comp▲ | Assignee | Status | Resolution | Summary | Changed▲ |
|---|---|---|---|---|---|---|---|
| 378 | UPPAAL | GUI | behrmann | RESO | DUPL | can we have auto save? | 2006-12-15 |
File a new bug in the "GUI" component of the "UPPAAL" product