comp.lang.ada
 help / color / mirror / Atom feed
* Typeset Version of the RM?
@ 1989-09-18 18:43 Sridhar Ramakrishnan
  1989-09-22 12:32 ` Karl Nyberg
  0 siblings, 1 reply; 2+ messages in thread
From: Sridhar Ramakrishnan @ 1989-09-18 18:43 UTC (permalink / raw)



Does anybody know of where I can get a typeset version of the LRM?  The
typesetting could be either nroff, troff or TeX formats (perhaps, even
Scribe).

Please send mail to me at 
	sridhar%hpda@hplabs.hp.com

Thanks.

					Sridhar Ramakrishnan
				           (408) 447-6309

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

* Typeset Version of the RM?
  1989-09-18 18:43 Typeset Version of the RM? Sridhar Ramakrishnan
@ 1989-09-22 12:32 ` Karl Nyberg
  0 siblings, 0 replies; 2+ messages in thread
From: Karl Nyberg @ 1989-09-22 12:32 UTC (permalink / raw)


In article <920014@hpclada.HP.COM> sridhar@hpclada.HP.COM (Sridhar Ramakrishnan) writes:
>
>Does anybody know of where I can get a typeset version of the LRM?  The
>typesetting could be either nroff, troff or TeX formats (perhaps, even
>Scribe).

Grebyn Corporation has developed such an item in preparation of its
publication of the Annotated Ada Reference Manual (containing not only the
LRM, but annotations derived from the AIs).  For information on licensing
and other details, contact me.

-- Karl --

Dislaimer?  What disclaimer?  I own the company.  Is that a disclaimer?

Karl A. Nyberg		karl@grebyn.com, nyberg@ajpo.sei.cmu.edu
Grebyn Corporation		   karl%grebyn.com@haven.umd.edu
P. O. Box 497			      {decuac,haven}!grebyn!karl
Vienna, VA 22183-0497				    703-281-2194

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

end of thread, other threads:[~1989-09-22 12:32 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1989-09-18 18:43 Typeset Version of the RM? Sridhar Ramakrishnan
1989-09-22 12:32 ` Karl Nyberg

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