comp.lang.ada
 help / color / mirror / Atom feed
From: Florian Weimer <fw@deneb.enyo.de>
Subject: Re: ARM (was: Re: How to convert characters in a string into integers ?)
Date: Sun, 10 Feb 2002 17:47:18 +0100
Date: 2002-02-10T16:47:22+00:00	[thread overview]
Message-ID: <87bsexgu7d.fsf@deneb.enyo.de> (raw)
In-Reply-To: 3C5F3817.AE9080FA@acm.org

Jeffrey Carter <jrcarter@acm.org> writes:

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

I can't tell you anything about history for obvious reasons, but the
current usage on comp.lang.ada seems to be to reserve "LRM" to Ada 83,
and use "AARM", "ARM", or "RM" for the Ada 95 manual.



  parent reply	other threads:[~2002-02-10 16:47 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
2002-02-10 16:47           ` Florian Weimer [this message]
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