Tools

File | Settings | Tools for Windows and Linux
MPS | Preferences | Tools for macOS
Ctrl+Alt+S

When you select the Tools category in the left-hand pane, its main subcategories are listed in the right-hand part of the dialog.

• Model Checker
• Terminal
• Diff & Merge
  • External Diff Tools
• Server Certificates
• Startup Tasks