Robi Malik - 2010-03-09

It would be a nice feature to allow the user to rename all occurrences of an event after renaming it, but this should be optional. Keeping in mind instantiations and aliasing, the user may well intend to change the name of an event declaration without renaming all occurrences.