dogear

enter for all results · esc to close

opam-switch-mode

github.comtool

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

visit github.com ↗
0
sign in to dogear this
from
OCaml, Coq
added
2026-10-10
likes
0

OCaml › Developer Tools: “Minor mode for Emacs that extends Tuareg and Merlin with menus to change or reset the opam switch in the ambient Emacs session.”

Coq › Projects > User Interfaces: “IDE extension for Proof General to locally change or reset the opam switch from a menu or using a command.”