From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id LAA21286 for caml-redistribution; Thu, 4 Jan 1996 11:28:12 +0100
Received: (from xleroy@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id VAA06099; Thu, 28 Dec 1995 21:01:32 +0100
From: Xavier Leroy <xleroy@pauillac.inria.fr>
Message-Id: <199512282001.VAA06099@pauillac.inria.fr>
Subject: Re: hypertext ML code
To: hayden@cs.cornell.edu (Mark Hayden)
Date: Thu, 28 Dec 1995 21:01:32 +0100 (MET)
Cc: caml-list@pauillac.inria.fr
In-Reply-To: <199512281606.LAA02113@bolverk.cs.cornell.edu> from "Mark Hayden" at Dec 28, 95 11:06:55 am
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: weis


> My end goal is to combine hypertext source code with
> hypertext text documentation (latex source compiled with
> latex2html) into a single, browsable hypertext document.

Ah, if you're into literate programming in Caml, you might find
Norman Ramsey's NoWeb package interesting
(http://www.cs.purdue.edu/homes/nr/noweb/).
It is claimed to have indexing capabilites for several languages
including Standard ML (should be easy to adapt to Caml) and generates
both LaTeX and HTML.

I haven't used it myself, but have heard positive comments about
it. If you find it useful for Caml source, let us know.

- Xavier Leroy