From: Thorsten Ohl <ohl@crunch.ikp.physik.th-darmstadt.de>
To: Xavier Leroy <Xavier.Leroy@inria.fr>
Cc: hayden@cs.cornell.edu (Mark Hayden),
caml-list@pauillac.inria.fr,
Norman Ramsey <nr@labrador.cs.purdue.edu>
Subject: Re: hypertext ML code
Date: Thu, 4 Jan 1996 20:07:32 +0100 [thread overview]
Message-ID: <9601041907.AA19381@crunch> (raw)
In-Reply-To: <199512282001.VAA06099@pauillac.inria.fr>
>>>>> "Xavier" == Xavier Leroy <Xavier.Leroy@inria.fr> 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
next prev parent reply other threads:[~1996-01-05 10:56 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
1995-12-28 15:59 Valerie Menissier-Morain
1995-12-28 16:06 ` Mark Hayden
1995-12-28 17:57 ` Pierre Weis
1995-12-28 20:01 ` Xavier Leroy
1996-01-04 19:07 ` Thorsten Ohl [this message]
-- strict thread matches above, loose matches on Subject: below --
1995-12-28 14:41 Mark Hayden
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=9601041907.AA19381@crunch \
--to=ohl@crunch.ikp.physik.th-darmstadt.de \
--cc=Xavier.Leroy@inria.fr \
--cc=caml-list@pauillac.inria.fr \
--cc=hayden@cs.cornell.edu \
--cc=nr@labrador.cs.purdue.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox