Message-Id: <199602221122.MAA27471@pauillac.inria.fr>
Subject: Re: affichage de liste
To: albert@cal.enst.fr (Luc ALBERT)
Date: Thu, 22 Feb 1996 12:22:24 +0100 (MET)
In-Reply-To: <v01540501ad5134abaa85@[137.194.3.4]> from "Luc ALBERT" at Feb 22, 96 00:31:33 am
From: Michel.Mauny@inria.fr (Michel Mauny)
(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