de.uka.ilkd.key.ui

Interfaces

• ProofObligationSelector
• Verbosity

Classes

• AbstractMediatorUserInterfaceControl
• ConsoleProofObligationSelector
• ConsoleUserInterfaceControl
• MediatorProofControl
• NIProofObligationSelector