comp.lang.ada
 help / color / mirror / Atom feed
* RM95 in info format ?
@ 1996-06-13  0:00 Jerry van Dijk
  1996-06-17  0:00 ` Tucker Taft
  1996-06-22  0:00 ` Simon Roberts
  0 siblings, 2 replies; 5+ messages in thread
From: Jerry van Dijk @ 1996-06-13  0:00 UTC (permalink / raw)



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   --
-----------------------------------------------------------------------




^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: RM95 in info format ?
  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
  1 sibling, 1 reply; 5+ messages in thread
From: Tucker Taft @ 1996-06-17  0:00 UTC (permalink / raw)



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




^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: RM95 in info format ?
  1996-06-17  0:00 ` Tucker Taft
@ 1996-06-17  0:00   ` Jerry van Dijk
  0 siblings, 0 replies; 5+ messages in thread
From: Jerry van Dijk @ 1996-06-17  0:00 UTC (permalink / raw)



Tucker Taft (stt@henning.camb.inmet.com) wrote:

: This scribe input could be converted to TeX-compatible input using
: an appropriate number of Perl/Awk/Sed scripts, probably.

I'm no TeX expert by any definition, but my dear brother always claimed
to be one... I'll try to get him interested in the challenge :-)

Thanks.

-- 
-----------------------------------------------------------------------
--  Jerry van Dijk       --   e-mail: jerry@jvdsys.nextjk.stuyts.nl  --
--  Banking Consultant   --              Member Team-Ada             -- 
--  Ordina Finance BV    --    Located at Haarlem, The Netherlands   --




^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: RM95 in info format ?
  1996-06-13  0:00 RM95 in info format ? Jerry van Dijk
  1996-06-17  0:00 ` Tucker Taft
@ 1996-06-22  0:00 ` Simon Roberts
  1996-06-22  0:00   ` Jerry van Dijk
  1 sibling, 1 reply; 5+ messages in thread
From: Simon Roberts @ 1996-06-22  0:00 UTC (permalink / raw)



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




^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: RM95 in info format ?
  1996-06-22  0:00 ` Simon Roberts
@ 1996-06-22  0:00   ` Jerry van Dijk
  0 siblings, 0 replies; 5+ messages in thread
From: Jerry van Dijk @ 1996-06-22  0:00 UTC (permalink / raw)



Simon Roberts (simon@airdmhor.gen.nz) 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

That might indeed be a idea. I already use the html version (with lynx as the
browser) under linux. But I have a nagging suspicion that makeinfo needs TeX
not LaTeX. Although, there should be a way, I think...

I'll look into it.
-- 
-----------------------------------------------------------------------
--  Jerry van Dijk       --   e-mail: jerry@jvdsys.nextjk.stuyts.nl  --
--  Banking Consultant   --              Member Team-Ada             -- 
--  Ordina Finance BV    --    Located at Haarlem, The Netherlands   --




^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~1996-06-22  0:00 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
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
1996-06-22  0:00   ` Jerry van Dijk

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox