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

Mon Dec 2 2024 22:19:42 CET
Do not underestimate the power of the dark side!
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