de.uka.ilkd.key.gui.ext

Interfaces

• KeYExtConst
• KeYMainMenuExtension
• KeYPaneExtension
• KeYTermMenuExtension
• KeYToolbarExtension
• KeYToolbarExtensionAdapter

Classes

• HeatmapExt
• KeYGuiExtensionFacade