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=0.7 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM,REPLYTO_WITHOUT_TO_CC autolearn=no 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,ASCII-7-bit
Received: by 10.68.129.133 with SMTP id nw5mr2955037pbb.3.1330103791114;
        Fri, 24 Feb 2012 09:16:31 -0800 (PST)
Path: 
 h9ni4432pbe.0!nntp.google.com!news1.google.com!news.glorb.com!feeder.erje.net!dedekind.zen.co.uk!zen.net.uk!hamilton.zen.co.uk!shaftesbury.zen.co.uk.POSTED!not-for-mail
From: Phil Thornley <phil.jpthornley@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: ANN: SPARK: A red-black tree with correctness proofs
Date: Fri, 24 Feb 2012 17:16:20 -0000
Message-ID: <MPG.29b1d63c307076f5989688@news.zen.co.uk>
References: <MPG.29b1639183a1f49f989687@news.zen.co.uk>
 <4f47ab93$0$281$14726298@news.sunsite.dk>
Reply-To: phil.jpthornley@gmail.com
MIME-Version: 1.0
User-Agent: MicroPlanet-Gravity/3.0.4
Organization: Zen Internet
NNTP-Posting-Host: 49346ce0.news.zen.co.uk
X-Trace: 
 DXC=U?jn43iIKh\>j5bVn^?UPQnok4Z\<mH4YhDU:2=XKPkXE:3D?Q395\V=CLe5aAFkiUS@?R?9>ncm]
X-Complaints-To: abuse@zen.co.uk
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Date: 2012-02-24T17:16:20+00:00
List-Id: <comp.lang.ada>

In article <4f47ab93$0$281$14726298@news.sunsite.dk>, tl@ada-dk.org 
says...
> 
> 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.

Hmmm, I don't know how that happened. it was there and then it wasn't, 
so my apologies.

It's there now - I've just checked.

Cheers,

Phil