From: simon@airdmhor.gen.nz (Simon Roberts)
Subject: Re: RM95 in info format ?
Date: 1996/06/22
Date: 1996-06-22T00:00:00+00:00 [thread overview]
Message-ID: <4qg1ej$uk@airdmhor.gen.nz> (raw)
In-Reply-To: DsynAI.7x@jvdsys.nextjk.stuyts.nl
Jerry van Dijk (jerry@jvdsys.nextjk.stuyts.nl) wrote:
: Does anyone know if there is a info (or tex) version of the rm95 anywhere
: to be had ?
I've seen HTML->LaTeX filters around, so ftp the HTML version of rm95
(someone has a perl script that does that), and try that. From memory,
there's a link to the HTML site from the Ada Core WWW page.
Simon
--
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
Simon Roberts : "All the taxes paid over a lifetime by the average
Linux - the choice of : American are spent by the government in less than a
a GNU generation : second" -- Jim Fiebig
next prev parent reply other threads:[~1996-06-22 0:00 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-06-13 0:00 RM95 in info format ? Jerry van Dijk
1996-06-17 0:00 ` Tucker Taft
1996-06-17 0:00 ` Jerry van Dijk
1996-06-22 0:00 ` Simon Roberts [this message]
1996-06-22 0:00 ` Jerry van Dijk
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox