de.uka.ilkd.key.gui.notification

Interfaces

• NotificationAction

Classes

• AbandonNotification
• ExceptionFailureNotification
• ExitKeYNotification
• GeneralFailureNotification
• GeneralInformationNotification
• NotificationManager
• NotificationTask
• ProofClosedNotification

Enums

• NotificationEventID