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

Bug 378

Summary: can we have auto save?
Product: UPPAAL Reporter: Judi Romijn <jromijn>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED DUPLICATE    
Severity: enhancement    
Priority: P2    
Version: 4.0.3   
Hardware: All   
OS: All   
Architecture:

Description Judi Romijn 2006-12-15 13:59:21 CET 
I just posted a bug concerning Uppaal crashes. I've had the crash occur about 10 times now, and most of these were so unexpected that I lost quite a bit of editing. Clearly, I don't save my xml project often enough... Could an auto-save feature please be added to Uppaal?
Comment 1 Gerd Behrmann 2006-12-15 14:04:08 CET 
This feature has been requested before, see bug 110. I agree that it would be really nice to have.... ;-)

*** This bug has been marked as a duplicate of bug 110 ***