opam-switch-mode
Select OCaml opam switches via a menu or using a command
5 stars
2 watching
3 forks
Language: Emacs Lisp
last commit: about 1 year ago
Linked from 1 awesome list
emacsmerlinocamlopamproof-generaltuareg
coq-community/awesome-coq