You are in:
Documentation Home
Class Libraries
EiffelPreference
Preference Library
Topics:
Interface
Initialization
Overview