comp.lang.ada
 help / color / mirror / Atom feed
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




  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