Tuareg 2.0.1 が出ましたが、まだ時期尚早かな。

もう干からびていたとうわさの OCaml のための emacs mode、Tuareg が新しくなりました。オリジナルは 1.45.x 以降、1.46.2 あたりまで出たものの、何かエンバグして 1.46 系は取りやめ、そして作者が興味を失った？のか、そのままでしばらーく乾燥状態だったのです。2.0系のリリースは社内で 1.46 系に手を入れて使っていた Jane Street から行われます。彼らが元気で OCaml を使い続ける限り Jane Street では tuareg を使い続けますので、メンテされるでしょう。
で、現在の 2.0.1 はどうかというと、ちょっと、、、機能的には 1.45 から抜けているものがあり、中身を綺麗にした、という側面が強いです。function や match の -> でインデントが入らないのがキツイですね、、、Jane Street で使っているバージョンはこんなことは無かったので、すぐ直ると思いますが。ちょっと謎の挙動をすることもありますが、今のところ 1.45.7 (http://www-rocq.inria.fr/~acohen/tuareg/mode/) を使うのがよいでしょう。
OCaml に同梱の caml-mode と何が違うの？と言われると私も良く知らない。大昔は明らかに tuareg が良かった。今はどうでしょう。この辺読んでください。

追記

私の tuareg の設定はこんなんです。1.46 用ですが 1.45 でも使えるでしょう:
http://d.hatena.ne.jp/camlspotter/20100321/1269180908

(add-hook 
 'tuareg-mode-hook
 '(lambda ()
    ;; indentation rules
    (setq tuareg-lazy-= t)
    (setq tuareg-lazy-paren t)
    (setq tuareg-in-indent 0)
    (setq tuareg-electric-indent nil)
    (setq tuareg-leading-star-in-doc t)
    (setq tuareg-with-indent 0)

    (setq tuareg-library-path "/usr/local/lib/ocaml/")

    ;; turn on auto-fill minor mode
    (auto-fill-mode 1)

    ;; Sym-Lock customization only
    ;; turn off special face under mouse
    (if (featurep 'sym-lock)   
	(setq sym-lock-mouse-face-enabled nil))

    ;; ocamlspot and other keys
    (local-set-key "\C-c;" 'ocamlspot-query)
    (local-set-key "\C-c\C-t" 'ocamlspot-type)
    (local-set-key "\C-c\C-y" 'ocamlspot-type-and-copy)
    (local-set-key "\C-c\C-u" 'ocamlspot-use)
    (local-set-key "\C-cT" 'caml-types-show-type)
    ))