Voici ce qu'il faut faire pour configurer Emacs pour travailler avec OCaml (si vous ne l'avez pas déjà fait). Dans un terminal :

  mkdir ~/.elisp
  cp -r /users/profs/info/filliatre/.elisp/tuareg-mode/ ~/.elisp/
  cat /users/profs/info/filliatre/.emacs >> ~/.emacs