Package org.eclipse.ocl.examples.xtext.markup.ui.outline

Class Summary
MarkupOutlineTreeProvider customization of the default outline structure