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?
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 ***