From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,43ff490aee692a6a
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-12-03 13:51:31 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!fu-berlin.de!uni-berlin.de!ppp-1-33.cvx4.telinco.NET!not-for-mail
From: "Nick Roberts" <nickroberts@adaos.worldonline.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: ASCL project on AdaPower.net
Date: Mon, 3 Dec 2001 21:23:03 -0000
Message-ID: <9ugs51$8d7lj$2@ID-25716.news.dfncis.de>
References: <9ucgi0$7g2i6$1@ID-25716.news.dfncis.de>
 <3C0A6B0E.119BAEF9@acm.org>
NNTP-Posting-Host: ppp-1-33.cvx4.telinco.net (212.1.148.33)
X-Trace: fu-berlin.de 1007416289 8822451 212.1.148.33 (16 [25716])
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4133.2400
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400
Xref: archiver1.google.com comp.lang.ada:17363
Date: 2001-12-03T21:23:03+00:00
List-Id: <comp.lang.ada>

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)