Base & Mathmodels Docs
BON
Eiffel
EiffelStudio
Eiffel Testing Framework (ETF)
Type Ctrl-Alt-D and you get these options: