Hi everyone, What about installing the Ocaml info files into the emacs manual system ?? (the 'dir' file) -- # Georges MARIANO tel: (33) 03 20 43 84 06 # INRETS, 20 rue Élisée Reclus fax: (33) 03 20 43 83 59 # 59650 Villeneuve d'Ascq mailto:georges.mariano@inrets.fr # FRANCE. # http://www3.inrets.fr/estas/mariano # http://www3.inrets.fr/B-Bibliography