Khady /merlin-eldocEmacs Lisp463Type and doc on hover for OCaml and Reason in emacsemacsocamlreasonml
ProofGeneral /opam-switch-modeEmacs Lisp95Select OCaml opam switches via a menu or using a commandemacsproof-generalocamlopam