Automatic generation produced by ISE Eiffel
deferred class EV_NOTEBOOK_TAB_I Ancestors EV_ANY_I* EV_PIXMAPABLE_I* EV_SELECTABLE_I* EV_TEXTABLE_I* Descendants EV_NOTEBOOK_TAB_IMP Clients EV_NOTEBOOK_TAB EV_NOTEBOOK_TAB_I* Suppliers BOOLEAN EV_NOTEBOOK EV_NOTEBOOK_TAB_I* -- Generated by Eiffel Studio --
For more details: eiffel.org