You are in:

 Documentation Home
 Tools
 EiffelStudio
 EiffelStudio Reference
 Project settings window

 Topics:

 Externals Options
 Debug Options
 Type mapping
 Assertion Options
 Tasks Options
 System Options
 General Target Options
 Advanced Options
 Group Options
 Variables
 Warning Options