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

Mon Dec 2 2024 20:45:34 CET
The smallest nuisance can be of greatest pain
Hide Search Description
ID Product Comp Assignee Status Resolution Summary Changed
378 UPPAAL GUI behrmann RESO DUPL can we have auto save? 2006-12-15
One bug found.

as

File a new bug in the "GUI" component of the "UPPAAL" product