Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_NOTEBOOK Ancestors EV_FONTABLE* EV_ITEM_PIXMAP_SCALER* EV_NOTEBOOK_ACTION_SEQUENCES* EV_WIDGET_LIST* Clients EV_NOTEBOOK EV_NOTEBOOK_I* EV_NOTEBOOK_IMP EV_NOTEBOOK_TAB EV_NOTEBOOK_TAB_I* EV_NOTEBOOK_TAB_IMP MA_WINDOW MA_WINDOW_IMP* Suppliers BOOLEAN EV_NOTEBOOK EV_NOTEBOOK_I* EV_NOTEBOOK_IMP HASH_TABLE [G, K -> detachable HASHABLE] INTEGER_32 STRING_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org