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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,b36bbdc1595d0665
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!l20g2000yqm.googlegroups.com!not-for-mail
From: Phil Thornley <phil.jpthornley@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: SPARK code samples
Date: Thu, 12 Aug 2010 15:03:56 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <c8d37bc1-58ec-4199-9b2d-32d86c21f9a5@l20g2000yqm.googlegroups.com>
References: <1iq8kg021bo4v$.s51i2enx3fzo.dlg@40tude.net>
 <f94bf7f0-14cb-4a8d-94ef-3cdf2665cd5b@s9g2000yqd.googlegroups.com>
 <fa1507ef-77a8-4a28-b271-2293c5115278@j8g2000yqd.googlegroups.com>
 <op.vg98t7h8xmjfy8@garhos>
 <9c08102a-e191-424e-b3b8-1871b6f3358d@t2g2000yqe.googlegroups.com>
 <op.vhac9x2pxmjfy8@garhos>
 <2969c4a9-f7f2-4615-9296-9a2ebb293fe4@m1g2000yqo.googlegroups.com>
NNTP-Posting-Host: 80.177.171.182
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1281650636 7032 127.0.0.1 (12 Aug 2010 22:03:56
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 12 Aug 2010 22:03:56 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: l20g2000yqm.googlegroups.com; posting-host=80.177.171.182;
 posting-account=Fz1-yAoAAACc1SDCr-Py2qBj8xQ-qC2q
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 8.0; Windows NT 6.1; WOW64;
 Trident/4.0; SLCC2; .NET CLR 2.0.50727; .NET CLR 3.5.30729; .NET CLR
 3.0.30729; Media Center PC 6.0; .NET4.0C),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:13196
Date: 2010-08-12T15:03:56-07:00
List-Id: <comp.lang.ada>

On 12 Aug, 13:08, Ada novice <ycalleecha...@gmx.com> wrote:
[...]
> You're welcome. And thanks for the link to the tutorials by Phil
> Thornley (http://www.sparksure.com/) that you provided some time back
> at fr.comp.lang.ada

If you are using these tutorials with the the latest version of SPARK
(2010) then you might be interested in the updates I've just made to
them for this version.  The biggest change is in the way that function
return annotations are used in the VC generator.

Cheers,

Phil