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 QAA02610 for caml-redistribution; Thu, 28 Dec 1995 16:40:13 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id PAA01933 for ; Thu, 28 Dec 1995 15:41:57 +0100 Received: from simon.cs.cornell.edu (SIMON.CS.CORNELL.EDU [128.84.154.10]) by concorde.inria.fr (8.7.1/8.7.1) with SMTP id PAA16949 for ; Thu, 28 Dec 1995 15:41:52 +0100 (MET) Received: from cloyd.cs.cornell.edu (CLOYD.CS.CORNELL.EDU [128.84.227.15]) by simon.cs.cornell.edu (8.6.10/R1.4) with ESMTP id JAA12532 for ; Thu, 28 Dec 1995 09:41:43 -0500 Received: from bolverk.cs.cornell.edu (BOLVERK.CS.CORNELL.EDU [128.84.254.213]) by cloyd.cs.cornell.edu (8.6.10/M1.8) with ESMTP id JAA25513; Thu, 28 Dec 1995 09:41:41 -0500 Received: (hayden@localhost) by bolverk.cs.cornell.edu (8.6.10/C1.3) id JAA00930; 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 To: caml-list@pauillac.inria.fr cc: hayden@cs.cornell.edu Subject: hypertext ML code Sender: weis 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