From: roderick.chapman@googlemail.com
Subject: Re: SPARK Examiner -- visibility of Ada.Strings.Unbounded (and probably lots of other packages)
Date: Thu, 26 Mar 2009 08:40:04 -0700 (PDT)
Date: 2009-03-26T08:40:04-07:00 [thread overview]
Message-ID: <34e23526-ce9e-4608-9f87-c75de0a161d0@e38g2000yqa.googlegroups.com> (raw)
In-Reply-To: 49cb9cd8$0$31344$9b4e6d93@newsspool4.arcor-online.net
PS...if you want an example of some really well-written
SPARK, then feel free to download the Tokeneer
project archive from www.adacore.com/tokeneer
- Rod
next prev parent reply other threads:[~2009-03-26 15:40 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-03-26 14:50 SPARK Examiner -- visibility of Ada.Strings.Unbounded (and probably lots of other packages) Tim Rowe
2009-03-26 15:13 ` Ludovic Brenta
2009-03-26 15:18 ` Georg Bauhaus
2009-03-26 15:35 ` roderick.chapman
2009-03-26 17:06 ` Tim Rowe
2009-03-26 19:13 ` Tim Rowe
2009-03-27 8:27 ` JP Thornley
2009-03-27 8:34 ` roderick.chapman
2009-03-27 16:03 ` Tim Rowe
2009-03-26 15:40 ` roderick.chapman [this message]
2009-03-26 16:15 ` Tim Rowe
2009-03-26 16:26 ` roderick.chapman
2009-03-26 16:30 ` JP Thornley
2009-03-26 16:51 ` roderick.chapman
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox