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 SAA04451 for caml-redistribution; Thu, 28 Dec 1995 18:45:55 +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 RAA03193 for ; Thu, 28 Dec 1995 17:09:10 +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 RAA18168 for ; Thu, 28 Dec 1995 17:08:59 +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 LAA13684; Thu, 28 Dec 1995 11:06:58 -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 LAA26334; Thu, 28 Dec 1995 11:06:56 -0500 Received: (hayden@localhost) by bolverk.cs.cornell.edu (8.6.10/C1.3) id LAA02113; Thu, 28 Dec 1995 11:06:55 -0500 Message-Id: <199512281606.LAA02113@bolverk.cs.cornell.edu> To: Valerie Menissier-Morain cc: caml-list@pauillac.inria.fr, hayden@cs.cornell.edu Subject: Re: hypertext ML code In-reply-to: Your message of "Thu, 28 Dec 1995 16:59:19 +0100." <199512281559.QAA03007@pauillac.inria.fr> Date: Thu, 28 Dec 1995 11:06:55 -0500 From: Mark Hayden Sender: weis >Etags (for emacs), ctags (for vi) do this. It seems to me that there was >a small package to create ml ad hoc tags in the distribution of Caml-Light >0.6 with the name mletags. I'm aware of this package. However, it is not exactly what I want. It provides information to help emacs/vi let you browse your source code. What I want is a marked-up version of my source code, so that I can browse it in, for instance, a WWW browser. I do not believe this is possible with mletags alone. My end goal is to combine hypertext source code with hypertext text documentation (latex source compiled with latex2html) into a single, browsable hypertext document. --Mark