From: "David C. Hoos" <david.c.hoos.sr@ada95.com>
To: <comp.lang.ada@ada.eu.org>
Subject: Re: Ada.Streams.Stream_IO.File_Type
Date: Fri, 18 Jul 2003 13:25:39 -0500
Date: 2003-07-18T13:25:39-05:00 [thread overview]
Message-ID: <mailman.19.1058552760.24167.comp.lang.ada@ada.eu.org> (raw)
In-Reply-To: 1ec946d1.0307180934.50733e21@posting.google.com
----- Original Message -----
From: "Matthew Heaney" <mheaney@on2.com>
Newsgroups: comp.lang.ada
To: <comp.lang.ada@ada.eu.org>
Sent: Friday, July 18, 2003 12:34 PM
Subject: Re: Ada.Streams.Stream_IO.File_Type
> "Nick Roberts" <nickroberts@blueyonder.co.uk> wrote in message
news:<bf6jhs$b9l6h$1@ID-25716.news.uni-berlin.de>...
> >
> > > Anyone know why it is not in there already?
> >
> > Yes! Because you can use the technique given by David Hoos.
>
> To which technique are you referring?
He's probable referring to my message of July 15 in the thread
"Terminating a Task."
> _______________________________________________
> comp.lang.ada mailing list
> comp.lang.ada@ada.eu.org
> http://ada.eu.org/mailman/listinfo/comp.lang.ada
>
next prev parent reply other threads:[~2003-07-18 18:25 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-07-15 20:13 Ada.Streams.Stream_IO.File_Type tmoran
2003-07-17 15:10 ` Ada.Streams.Stream_IO.File_Type Craig Carey
2003-07-17 16:42 ` Ada.Streams.Stream_IO.File_Type Nick Roberts
2003-07-18 17:34 ` Ada.Streams.Stream_IO.File_Type Matthew Heaney
2003-07-18 18:25 ` David C. Hoos [this message]
2003-07-17 16:01 ` Ada.Streams.Stream_IO.File_Type Nick Roberts
2003-07-20 11:27 ` Ada.Streams.Stream_IO.File_Type Mário Amado Alves
2003-07-20 14:25 ` Ada.Streams.Stream_IO.File_Type Robert I. Eachus
2003-07-21 4:03 ` Ada.Streams.Stream_IO.File_Type Nick Roberts
2003-07-21 9:47 ` Ada.Streams.Stream_IO.File_Type Robert I. Eachus
2003-07-18 7:46 ` Ada.Streams.Stream_IO.File_Type Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox