comp.lang.ada
 help / color / mirror / Atom feed
From: Jeffrey Carter <jrcarter@acm.org>
Subject: ARM (was: Re: How to convert characters in a string into integers ?)
Date: Tue, 05 Feb 2002 01:40:45 GMT
Date: 2002-02-05T01:40:45+00:00	[thread overview]
Message-ID: <3C5F3817.AE9080FA@acm.org> (raw)
In-Reply-To: a3mbt0$oem$1@nh.pace.co.uk

Marin David Condic wrote:
> 
> Although with Ada95 - to be accurate and/or pedantic, it should be "ARM" for
> "Ada95 Reference Manual". "LRM" was the correct abbreviation for Ada83 &
> still seems to hang on - probably mostly out of habbit. Maybe we should add
> to the "Ada vs ADA" harangue a similar "ARM vs LRM" harangue? :-)

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.

-- 
Jeff Carter
"I unclog my nose towards you."
Monty Python & the Holy Grail



  reply	other threads:[~2002-02-05  1:40 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         ` Jeffrey Carter [this message]
2002-02-05 14:57           ` ARM (was: Re: How to convert characters in a string into integers ?) 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
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