de.uka.ilkd.key.gui.notification.actions
Classes
ExceptionFailureNotificationDialog
GeneralFailureJTextPaneDisplay
GeneralInformationJTextPaneDisplay
ProofClosedJTextPaneDisplay
ShowDisplayPane