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

Sat Apr 10 2021 17:10:14 CEST
Cut the wild grass and it regrows anew
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