Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Michel.Mauny@inria.fr (Michel Mauny)
To: albert@cal.enst.fr (Luc ALBERT)
Cc: caml-list@margaux.inria.fr
Subject: Re: affichage de liste
Date: Thu, 22 Feb 1996 12:22:24 +0100 (MET)	[thread overview]
Message-ID: <199602221122.MAA27471@pauillac.inria.fr> (raw)
In-Reply-To: <v01540501ad5134abaa85@[137.194.3.4]> from "Luc ALBERT" at Feb 22, 96 00:31:33 am


(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





  parent reply	other threads:[~1996-02-22 12:08 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-02-21 22:31 Luc ALBERT
1996-02-22 10:37 ` Pierre Weis
1996-02-22 11:22 ` Michel Mauny [this message]
1996-02-22 11:45 pbrisset

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=199602221122.MAA27471@pauillac.inria.fr \
    --to=michel.mauny@inria.fr \
    --cc=albert@cal.enst.fr \
    --cc=caml-list@margaux.inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox