User Interfaces > opam-switch-mode

IDE extension for Proof General to locally change or reset the opam switch from a menu or using a command.