Starting from release R17 onward one needs to choose the “Setting Up Physics” tab in the Ribbon panel and then select Profiles… in Zones, e.g. Setting Up Physics -> Zones -> Profiles In pre-R17 releases the old profile files can be be deleted in the GUI using the menu option ‘Define->Profiles->Delete…’ Alternatively, use the SCHEME command in TUI: (delete-profile “prof-name”) If you enter ‘(delete-profile)’ in TUI without a profile name after it, this allows you to access a hidden TUI menu that lists all the previously read profiles. You can then choose the profiles you want to unload. Type “q” to exit.