sciPROOF OPTIONS
This is a screenshot of the sciPROOF "Options" Dialog. All features and databases can be activated or deactivated through this interface.