de.uka.ilkd.key.gui.notification.events
Classes
AbandonTaskEvent
ExceptionFailureEvent
ExitKeYEvent
GeneralFailureEvent
GeneralInformationEvent
NotificationEvent
ProofClosedNotificationEvent