(m)elpa を見て

ProofGeneral, ESS なんてのはパッケージにない。

• WindowsへのCoqのインストール - 檜山正幸のキマイラ飼育記
• Rコードの編集のために、ESSをトリアエズで入れた - 檜山正幸のキマイラ飼育記
• WindowsへのOCamlのインストール - 檜山正幸のキマイラ飼育記

OCamlに関しては、tuareg、camlてのがある。

tuareg is an uninstalled package.

     Status: Available -- Install
    Version: 20150316.1247
   Requires: caml-3.12.0.1
    Summary: OCaml mode for Emacs.

Description:
Tuareg helps editing OCaml code, to highlight important parts of
the code, to run an OCaml toplevel, and to run the OCaml debugger
within Emacs.

Installation:
If you have permissions to the local `site-lisp' directory, you
only have to copy `tuareg.el', `tuareg_indent.el', `ocamldebug.el'
and `tuareg-site-file.el'.  Otherwise, copy the previous files
to a local directory and add the following line to your `.emacs':

(add-to-list 'load-path "DIR")

caml is an uninstalled package.

     Status: Available -- Install
    Version: 20141015.634
    Summary: OCaml code editing commands for Emacs

merlinてのを使ったのもある。

• http://the-lambda-church.github.io/merlin/

merlin is an uninstalled package.

     Status: Available -- Install
    Version: 20150501.1027
    Summary: Mode for Merlin, an assistant for OCaml.

Description:
merlin-mode is an Emacs interface to merlin.  It allows you to perform
queries such as getting the type of an expression, completion, and so on.

Installation:
You need merlin installed on your system (ocamlmerlin binary) for merlin-mode
to work.