You are in:

 Documentation Home
 Tools
 EiffelStudio
 EiffelStudio Reference
 Wizards and dialogs
 Dialogs
 New feature dialog
 New feature dialog

 Topics:

 Set-procedure
 Precondition
 Invariant field
 Local variable
 Postcondition
 Name field
 Feature clauses
 Header comment
 Feature body
 Type selection
 Argument list