From: Jeffrey Carter <jeffrey.carter@boeing.com>
Subject: Re: ARM (was: Re: How to convert characters in a string into integers ?)
Date: Wed, 6 Feb 2002 16:13:23 GMT
Date: 2002-02-06T16:13:23+00:00 [thread overview]
Message-ID: <3C615623.21B15AE4@boeing.com> (raw)
In-Reply-To: a3orso$q56$1@nh.pace.co.uk
Marin David Condic wrote:
>
> I don't have my Ada83 reference manual handy, but IIRC, it said "Language
> Reference Manual" on the cover somewhere in the title. I think that's why
> "LRM" got started - maybe someone with a hardcopy handy can check? Anyway,
> I'll bet it was changed specifically because LRM could - as you observe -
> refer to any language.
The title is "Reference Manual for the Ada Programming Language". It has
a green cover; perhaps that will call it to mind. Every page still has
"ARM" at the top, which is why I've been using "ARM" since 1984, unless
we can reach a consensus to use "RMFTAPL".
> "Jeffrey Carter" <jrcarter@acm.org> wrote in message
> news:3C5F3817.AE9080FA@acm.org...
> >
> > Every page of ANSI/MIL-STD 1815A (the Ada-83 RM) has "ARM" at the top.
> > It meant "Ada Reference Manual" then and it still does. LRM? Could refer
> > to any language.
> >
--
Jeffrey Carter
next prev parent reply other threads:[~2002-02-06 16:13 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-02-02 21:59 How to convert characters in a string into integers ? Jim
2002-02-02 22:09 ` Florian Weimer
2002-02-02 23:27 ` Michal Nowak
2002-02-02 23:57 ` Jim
2002-02-03 3:25 ` Jim Rogers
2002-02-03 8:56 ` Michal Nowak
2002-02-04 16:12 ` Marin David Condic
2002-02-05 1:40 ` ARM (was: Re: How to convert characters in a string into integers ?) Jeffrey Carter
2002-02-05 14:57 ` Marin David Condic
2002-02-06 15:19 ` Ted Dennison
2002-02-06 15:52 ` Stephen Leake
2002-02-06 16:13 ` Jeffrey Carter [this message]
2002-02-10 16:47 ` Florian Weimer
2002-02-10 17:24 ` ARM (was: Re: How to convert characters in a string intointegers ?) Uckfay Ouyay
2002-02-05 14:36 ` How to convert characters in a string into integers ? Michal Nowak
2002-02-05 15:17 ` Jerry Petrey
2002-02-05 16:06 ` Marin David Condic
2002-02-14 19:52 ` ARM vs. LRM vs. ... (was: Re: How to convert characters in a string into integers ?) Tucker Taft
2002-02-14 20:12 ` Jerry Petrey
2002-02-15 9:56 ` Steffen Huber
2002-02-12 12:03 ` How to convert characters in a string into integers ? John English
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox