| Interface | Description |
|---|---|
| Verbosity |
| Class | Description |
|---|---|
| AbstractMediatorUserInterfaceControl |
Provides a basic implementation of
UserInterfaceControl for
user interfaces in which a KeYMediator is available. |
| ConsoleUserInterfaceControl |
Implementation of
UserInterfaceControl used by command line interface of KeY. |
| MediatorProofControl |
A
ProofControl which performs the automode in a SwingWorker. |