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 LAA18656 for caml-redistribution; Fri, 5 Jan 1996 11:56:39 +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 UAA08526 for ; Thu, 4 Jan 1996 20:08:36 +0100 Received: from rs1.hrz.th-darmstadt.de (rs1.hrz.th-darmstadt.de [130.83.22.60]) by concorde.inria.fr (8.7.1/8.7.1) with SMTP id UAA24959 for ; Thu, 4 Jan 1996 20:08:00 +0100 (MET) Received: from crunch (crunch.ikp.physik.th-darmstadt.de [130.83.24.4]) by rs1.hrz.th-darmstadt.de (8.6.12/8.6.12.0ms) with SMTP id UAA14132; Thu, 4 Jan 1996 20:07:33 +0100 Received: by crunch (AIX 3.2/UCB 5.64/Client-1.5/HRZ-THD) id AA19381; Thu, 4 Jan 1996 20:07:32 +0100 Date: Thu, 4 Jan 1996 20:07:32 +0100 Message-Id: <9601041907.AA19381@crunch> From: Thorsten Ohl To: Xavier Leroy Cc: hayden@cs.cornell.edu (Mark Hayden), caml-list@pauillac.inria.fr, Norman Ramsey Subject: Re: hypertext ML code In-Reply-To: <199512282001.VAA06099@pauillac.inria.fr> References: <199512281606.LAA02113@bolverk.cs.cornell.edu> <199512282001.VAA06099@pauillac.inria.fr> Sender: weis >>>>> "Xavier" == Xavier Leroy writes: Xavier> Ah, if you're into literate programming in Caml, you might Xavier> find Norman Ramsey's NoWeb package interesting Xavier> (http://www.cs.purdue.edu/homes/nr/noweb/). It is claimed to Xavier> have indexing capabilites for several languages including Xavier> Standard ML (should be easy to adapt to Caml) and generates Xavier> both LaTeX and HTML. Just my 2 centimes: I can wholeheartedly recommend it and I ``don't code without it'' :-). With a little makefile hacking it can support CSL-style separate compilation easily. If somebody is fluent in the Icon language, he/she should be able to adapt the automatic cross referencer for SML to CSL without much trouble (I couldn't find free docs for Icon, so I punted on that). Marking the definitions by hand isn't too inconvenient either and gives you more fine grained control (in case do not want to cross reference everything). References are handled automatically anyway. -Thorsten /// Thorsten Ohl, TH Darmstadt, Schlossgartenstr. 9, D-64289 Darmstadt, Germany //// http://crunch.ikp.physik.th-darmstadt.de/~ohl //// voice: +49-6151-16-3116 ///// email: Thorsten.Ohl@Physik.TH-Darmstadt.de /// secretary: 2072, fax: 2421