Uppaal could benifit from having an autosave function.
Agreed.
Moving bug to 3.5.7, as this is an enhancement bug and only bug fixes are allowed on 3.4.
*** Bug 378 has been marked as a duplicate of this bug. ***