hypertext ML code

Mark Hayden (hayden@cs.cornell.edu)
Thu, 28 Dec 1995 09:41:40 -0500

Date: Thu, 28 Dec 1995 09:41:40 -0500
Message-Id: <199512281441.JAA00930@bolverk.cs.cornell.edu>
From: Mark Hayden <hayden@cs.cornell.edu>
To: caml-list@pauillac.inria.fr
Subject: hypertext ML code

Hi,
I am interested in automatically generating
from normal ML source code hypertext ML code
that has links from references to type/value
binding occurences. Does anyone know of an
existing package that does this? It seems
that this should be easy build such a
compiler by hacking an existing ML compiler.

thanks, Mark