emacs flambda latex +ocamlopt xemacs
