From: stt@henning.camb.inmet.com (Tucker Taft)
Subject: Re: RM95 in info format ?
Date: 1996/06/17
Date: 1996-06-17T00:00:00+00:00 [thread overview]
Message-ID: <Dt4E4t.Muz.0.-s@inmet.camb.inmet.com> (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 ?
: -----------------------------------------------------------------------
: -- Jerry van Dijk -- e-mail: jerry@jvdsys.nextjk.stuyts.nl --
: -- Banking Consultant -- Member Team-Ada --
: -- Ordina Finance BV -- Located at Haarlem, The Netherlands --
: -----------------------------------------------------------------------
RM95 was developed using "scribe" which is a text formatter similar
to TeX and a few others. The "scribe" input is available on
sw-eng.falls-church.va.us in the directory:
ftp://public/adaic/standards/95lrm_rat/v6.0.scribe
This scribe input could be converted to TeX-compatible input using
an appropriate number of Perl/Awk/Sed scripts, probably. If you were
to do the work, I am sure several people would be interested (i.e.,
don't keep it a secret).
In any case, Scribe was used to generate Postscript, which may be found in:
ftp://public/adaic/standards/95lrm_rat/v6.0.compressed
Magnus Kempe from the Technical University of Lausanne (EPFL) converted
the output into HTML format, and made it available on the epfl web site:
http://lglwww.epfl.ch/Ada/
I hope this helps...
-Tucker Taft stt@inmet.com http://www.inmet.com/~stt/
Intermetrics, Inc. Cambridge, MA USA
next prev parent reply other threads:[~1996-06-17 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 [this message]
1996-06-17 0:00 ` Jerry van Dijk
1996-06-22 0:00 ` Simon Roberts
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