de.uka.ilkd.key.gui.extension.impl
Classes
Extension
ExtensionSettings
HeatmapExt
KeYGuiExtensionFacade
TestExtension