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

Bug 110

Summary: Auto save
Product: UPPAAL Reporter: Ulrik Nyman <ulrik>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: enhancement CC: jromijn
Priority: P3    
Version: 3.5.7   
Hardware: All   
OS: All   
Architecture:

Description Ulrik Nyman 2004-11-16 14:33:36 CET
Uppaal could benifit from having an autosave function.
Comment 1 Gerd Behrmann 2004-12-02 11:08:27 CET
Agreed. 
Comment 2 Gerd Behrmann 2005-06-29 21:11:37 CEST
Moving bug to 3.5.7, as this is an enhancement bug and only bug fixes are allowed on 3.4.
Comment 3 Gerd Behrmann 2006-12-15 14:04:08 CET
*** Bug 378 has been marked as a duplicate of this bug. ***