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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,a440117a8923d023
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!k33g2000yqc.googlegroups.com!not-for-mail
From: Rod Chapman <roderick.chapman@googlemail.com>
Newsgroups: comp.lang.ada
Subject: Re: Spark 9 & Ada 2005
Date: Fri, 9 Apr 2010 08:16:32 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <86411d78-e87b-4b16-aa88-80cad023a7ca@k33g2000yqc.googlegroups.com>
References: 
 <8fa26bb5-ed35-49f7-a4d4-f064c070838f@j21g2000yqh.googlegroups.com>
	<8fcf2fc0-7bf5-404b-9cd4-cd5d73213562@x3g2000yqd.googlegroups.com>
	<bbefb55f-cab3-4589-b759-f049bae0b399@x3g2000yqd.googlegroups.com>
NNTP-Posting-Host: 217.205.167.137
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1270826192 28552 127.0.0.1 (9 Apr 2010 15:16:32
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 9 Apr 2010 15:16:32 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: k33g2000yqc.googlegroups.com; posting-host=217.205.167.137;
	posting-account=HCzrEgkAAABSfGsTnv-u5wET6EzuneVi
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB; rv:1.9.1.9)
	Gecko/20100315 Firefox/3.5.9 (.NET CLR 3.5.30729),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:10918
Date: 2010-04-09T08:16:32-07:00
List-Id: <comp.lang.ada>

Alexandre,
 Is this work in connection witht he Critical Web project?
If so, then have you got an account on GNAT Tracker?  If so,
then you should be able to download SPARK Pro 9 and raise
such queries through Tracker, which is our preferred method.
 All the best,
  Rod Chapman, SPARK Team