ocamlweb - a literate programming tool for Objective Caml

From: Jean-Christophe Filliatre (filliatr@lri.fr)
Date: Fri Jun 18 1999 - 13:55:38 MET DST

From: Jean-Christophe Filliatre <filliatr@lri.fr>
Date: Fri, 18 Jun 1999 13:55:38 +0200 (MEST)
To: caml-list@inria.fr
Subject: ocamlweb - a literate programming tool for Objective Caml


This is my pleasure to announce the first release of ocamlweb, a
literate programming tool for Objective Caml. It is freely available


under the terms of the GNU General Public License. A user manual and a
little example are provided, as well as binaries for Linux-Intel and

(As you noticed, another such tool has been released a few days ago by
Pierre Boulet, namely MlDoc; you shouldn't see here any kind of
competition -- the tools have been developped independently -- but
rather a positive point: you have choice :-)

If you want more informationsabout literate programming, have a look
at this site:


Any suggestion (or bug report) will be welcome.

Jean-Christophe FILLIATRE


ocamlweb est un outil de programmation littéraire pour Objective Caml. Il est librement distribué sous la licence GNU GPL à l'URL suivante :


Un manuel utilisateur et un petit exemple sont disponibles, ainsi que des binaires pour Linux-Intel et Solaris-Sparc.

De nombreuses informations sur la programmation littéraire peuvent être trouvées sur le site suivante :


Toute suggestion (ou tout rapport de bug) sera la bienvenue.

-- Jean-Christophe FILLIATRE

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:23 MET