EfFEL‖File Menu

LjnsF‖Choose File - Export.