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.