From: Rod Chapman <roderick.chapman@googlemail.com>
Subject: Re: Spark 9 & Ada 2005
Date: Fri, 9 Apr 2010 08:16:32 -0700 (PDT)
Date: 2010-04-09T08:16:32-07:00 [thread overview]
Message-ID: <86411d78-e87b-4b16-aa88-80cad023a7ca@k33g2000yqc.googlegroups.com> (raw)
In-Reply-To: bbefb55f-cab3-4589-b759-f049bae0b399@x3g2000yqd.googlegroups.com
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
prev parent reply other threads:[~2010-04-09 15:16 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-04-08 12:46 Spark 9 & Ada 2005 Alexandre Konieczny
2010-04-08 15:41 ` Rod Chapman
2010-04-09 7:58 ` Alexandre Konieczny
2010-04-09 15:16 ` Rod Chapman [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox