Pour mettre en place le mode emacs (s'il ne fonctionne pas, ou si ce n'est pas le bon).
% touch ~/.emacs
Le mode emacs sur votre machine personnelle
Les sources du mode emacs sont sur la machine poly dans
le dossier ~remy/mot/ ou
dans cette archive ici.
Il vous suffit de copier les fichiers *.el dans un dossier
de votre machine, soit dans un dossier personnel, par exemple
~chez-vous/emacs/, soit dans un dossier système, par exemple
/usr/lib/emacs/site-lisp/, la seconde solution étant meilleure.
Il faut ensuite ajuster dans votre .emacs le chemin d'accès
selon l'installation choisie.
Xemacs
Le mode ocaml devrait fonctionner également sous Xemacs. S'il y a des problèmes écrivez-moi à Didier.Remy@inria.fr.