From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id NAA27592 for caml-redistribution; Thu, 22 Feb 1996 13:08:57 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id MAA27476 for ; Thu, 22 Feb 1996 12:22:26 +0100 Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id MAA28671 for ; Thu, 22 Feb 1996 12:22:27 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.6.10/8.6.6) with ESMTP id MAA25319 for ; Thu, 22 Feb 1996 12:22:26 +0100 Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id MAA28667; Thu, 22 Feb 1996 12:22:26 +0100 (MET) Received: (from mauny@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id MAA27471; Thu, 22 Feb 1996 12:22:24 +0100 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) Cc: caml-list@margaux.inria.fr In-Reply-To: from "Luc ALBERT" at Feb 22, 96 00:31:33 am From: Michel.Mauny@inria.fr (Michel Mauny) Reply-to: Michel.Mauny@inria.fr Organization: INRIA, BP 105, F-78153 Le Chesnay Cedex, France Phone: (+33) 1 39 63 57 96 -- Fax: (+33) 1 39 63 53 30 MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis (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