You are in:

 Documentation Home
 Class Libraries
 EiffelPreference
 Preference Library

 Topics:

 Interface
 Initialization
 Overview