From: Francois Pessaux <pessaux@mouton.inria.fr>
To: caml-list@inria.fr
Cc: poirriez@univ-valenciennes.fr
Subject: Re: documentation automatique
Date: Mon, 31 Aug 1998 09:47:09 +0300 [thread overview]
Message-ID: <199808310747.JAA20916@mouton.inria.fr> (raw)
In-Reply-To: Your message of "Thu, 27 Aug 1998 14:39:32 +0200." <35E55383.1EA9CF14@univ-valenciennes.fr>
Bonjour,
> Je viens de lire le manuel html de ocaml 2.0, qui fait apparaitre la
> couleur dans le code
> caml.
> ...
> Je soupsone que cela existe quelque part.
Il y a bien ml2html qui essaye d'approcher ce genre de travail. Il traite du
Caml Light et non du Ocaml. Mais peut-etre que ca pourra faire l'affaire...
On peut trouver la distrib sur ma homepage:
http://pauillac.inria.fr/~pessaux/ml2html.tgz
Amicalement,
--
(* Francois PESSAUX (Francois.Pessaux@inria.fr) *)
(* INRIA Rocquencourt - Projet CRISTAL *)
(* (http://pauillac.inria.fr/~pessaux) *)
;;
next prev parent reply other threads:[~1998-08-31 12:08 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-08-27 12:39 Vincent Poirriez
1998-08-28 2:59 ` Jae-Youn Chung
1998-08-29 20:36 ` Adam P. Jenkins
1998-08-31 12:48 ` Jan Skibinski
1998-08-31 6:47 ` Francois Pessaux [this message]
1998-08-31 12:48 Sven
1998-09-01 9:11 ` Fabrice Le Fessant
1998-08-31 14:36 Ken Wakita
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=199808310747.JAA20916@mouton.inria.fr \
--to=pessaux@mouton.inria.fr \
--cc=caml-list@inria.fr \
--cc=poirriez@univ-valenciennes.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