Package de.cau.cs.kieler.kies.ui.outline

Class Summary
EsterelOutlineTreeProvider customization of the default outline structure