From: Michal Nowak <vinnie@inetia.pl>
Subject: Re: How to convert characters in a string into integers ?
Date: Tue, 05 Feb 2002 15:36:43 +0100
Date: 2002-02-05T15:36:43+01:00 [thread overview]
Message-ID: <mailman.1012919821.18138.comp.lang.ada@ada.eu.org> (raw)
In-Reply-To: <a3mbt0$oem$1@nh.pace.co.uk>
On 02-02-04 at 11:12 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? :-)
Ooops. In fact, my mistake, I apologise for it. I hope that I did not hurt
anyone with mixing these abbreviations. Maybe this mistake isn't so serious
as writting Ada as ADA...
I wonder when (and where) did "LRM" stick to my mind - I had no contact
with Ada83.
Mike
-----------------------------------------
____|
\%/ |~~\
O |
o>> Mike Nowak |
T |
/ > vinnie@inetia.pl |
http://www.geocities.com/vinnie14pl _|__
next prev parent reply other threads:[~2002-02-05 14:36 UTC|newest]
Thread overview: 24+ 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
2002-02-10 17:24 ` ARM (was: Re: How to convert characters in a string intointegers ?) Uckfay Ouyay
2002-02-05 14:36 ` Michal Nowak [this message]
2002-02-05 15:17 ` How to convert characters in a string into integers ? 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
-- strict thread matches above, loose matches on Subject: below --
2002-02-06 6:55 Christoph Grein
2002-02-06 9:20 ` Jean-Etienne Doucet
2002-02-06 10:01 Christoph Grein
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox