comp.lang.ada
 help / color / mirror / Atom feed
From: "Nick Roberts" <nickroberts@adaos.worldonline.co.uk>
Subject: Re: ASCL project on AdaPower.net
Date: Mon, 3 Dec 2001 21:23:03 -0000
Date: 2001-12-03T21:23:03+00:00	[thread overview]
Message-ID: <9ugs51$8d7lj$2@ID-25716.news.dfncis.de> (raw)
In-Reply-To: 3C0A6B0E.119BAEF9@acm.org

I'm not saying, I'm only suggesting, but possibly it would be more
appropriate for the whole PargmARCs to be mirrored on (or even moved to)
AdaPower.net.

I can't speak for him, but I suspect David B would be very happy to do this.

In particular, there are many units in the PragmARCs that are out of the
scope of ASCL but which I am certain a lot of people would find extremely
useful.

--
Best wishes,
Nick Roberts


"Jeffrey Carter" <jrcarter@acm.org> wrote in message
news:3C0A6B0E.119BAEF9@acm.org...
> Feel free to add
>
> PragmARC (spec)
> PragmARC.List_Unbounded_Unprotected (spec and body)
>
> If so inclined, you could also add
>
> PragmARC.List_Unbounded (spec and body)






  reply	other threads:[~2001-12-03 21:23 UTC|newest]

Thread overview: 20+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-12-02  5:56 ASCL project on AdaPower.net Nick Roberts
2001-12-02 10:53 ` Pascal Obry
2001-12-02 11:37   ` Preben Randhol
2001-12-02 12:23     ` Preben Randhol
2001-12-02 17:55 ` Jeffrey Carter
2001-12-03 21:23   ` Nick Roberts [this message]
2001-12-04  2:39     ` Jeffrey Carter
2001-12-06 17:56       ` Nick Roberts
2001-12-03 14:56 ` Ted Dennison
2001-12-03 16:54   ` Larry Kilgallen
2001-12-03 18:59     ` Ted Dennison
2001-12-03 21:27   ` Nick Roberts
2001-12-10 16:12   ` Marin David Condic
2001-12-03 15:49 ` Ted Dennison
2001-12-03 22:29   ` Jeffrey Carter
2001-12-04 14:50     ` Ted Dennison
2001-12-04 16:01       ` Jeffrey Carter
2001-12-04 17:20         ` Ted Dennison
2001-12-04 20:43       ` Stephen Leake
2001-12-04 20:41   ` Stephen Leake
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox