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-Thread: 103376,26089aa3008dcac2
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Received: by 10.204.131.75 with SMTP id w11mr255954bks.0.1330099603395;
        Fri, 24 Feb 2012 08:06:43 -0800 (PST)
Path: 
 t13ni65126bkb.0!nntp.google.com!news2.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!usenet-fr.net!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: ANN: SPARK: A red-black tree with correctness proofs
Date: Fri, 24 Feb 2012 16:06:42 +0000
Organization: A noiseless patient Spider
Message-ID: <m2sji0jjvx.fsf@pushface.org>
References: <MPG.29b1639183a1f49f989687@news.zen.co.uk>
	<4f47ab93$0$281$14726298@news.sunsite.dk>
Mime-Version: 1.0
Injection-Info: mx04.eternal-september.org;
 posting-host="dFCm8HWntFqmDIilBLqEJQ";
	logging-data="21338"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/rcTgMxwx33TixAZlcmykEW7B4A07VI/U="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (darwin)
Cancel-Lock: sha1:Yh5pXnhSzDoL2kdABSuiyiaSts0=
	sha1:eagld4xhOHnG0lh4XAZypEh5v2k=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Date: 2012-02-24T16:06:42+00:00
List-Id: <comp.lang.ada>

Thomas Løcke <tl@ada-dk.org> writes:

> On 02/24/2012 10:06 AM, Phil Thornley wrote:
>> The readme for the release is:
>> http://www.sparksure.com/resources/rb_tree_V0_1_ReadMe.txt
>
>
> I get a 404 for the ReadMe.txt.

The readme is in the archive.