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

Bug 110 - Auto save
Summary: Auto save
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.5.7
Hardware: All All
: P3 enhancement
Assignee: Gerd Behrmann
URL:
: 378 (view as bug list)
Depends on:
Blocks:
 
Reported: 2004-11-16 14:33 CET by Ulrik Nyman
Modified: 2006-12-15 14:04 CET (History)
1 user (show)

See Also:
Architecture:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
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. ***