(Englih version below).

Luc Albert demandait:

> PS : existe-t- il un style latex2e pour une belle inclusion de  programmes
> caml ? (avec des mots cles
> en gras etc ...)

J'ai realise un indenteur de Caml-Light qui peut generer du LaTeX a
partir de programmes Caml (eventuellement inclus dans un fichier
LaTeX): mots-cles en gras, commentaires en italique, vraies fleches,
etc. Marche avec Latex, et Latex2e, sous Unix.

Je peux l'envoyer a qui me le demande. (Commentaires bienvenus, bien sur.)

Des que j'aurai:
  - termine la doc
  - fait en sorte qu'il accepte la syntaxe de Caml-Light 0.71 (pour le
moment, il n'accepte que la syntaxe 0.6)

je le mettrai en distribution par ftp.

----------
Luc Albert asked:

> PS: is there a latex2e style to include in an esthetic way caml programs in
> documents ? (with bold-faced key words, smart indentation etc ...)

I wrote a Caml-Light re-indenter that generates either text or LaTeX
from Caml-Light programs (possibly included into LaTeX
documents). That gives boldface keywords, real arrows, italicized
comments, and so on. Work with LaTeX, and LaTeX2e, under Unix.

I can send it to anybody interested. (Feedback is welcome, of course.)

As soon as:
  - the documentation is complete
  - this program accepts Caml-Light 0.71 syntax (currently limited to
0.6),

I'll put it on our ftp server.

-- 
Michel