From: Tim Rowe <spamtrap@tgrowe.plus.net>
Subject: Re: SPARK Examiner -- visibility of Ada.Strings.Unbounded (and probably lots of other packages)
Date: Fri, 27 Mar 2009 16:03:41 +0000
Date: 2009-03-27T16:03:41+00:00 [thread overview]
Message-ID: <g6GdnQ40rMJwZVHUnZ2dnUVZ8t-dnZ2d@posted.plusnet> (raw)
In-Reply-To: <92db8dce-c32b-4938-9c00-f8a98261edef@q9g2000yqc.googlegroups.com>
roderick.chapman@googlemail.com wrote:
> More details in the book chapter 9 and section 4 of
> the Examiner User Manual (which you should have - Examiner_UM.pdf).
>
> I strongly recommend that you read through at least the first
> 4 chapters of the Examiner User Manual - full of useful info
> I promise! :-)
Thanks (and thanks to Phil, too).
I am working my way through the User Manual, and John Barnes' book, but
I find that I learn better if I try things out, and I keep trying out
things that need stuff I haven't covered yet! I'll try to keep myself in
check.
next prev parent reply other threads:[~2009-03-27 16:03 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 [this message]
2009-03-26 15:40 ` roderick.chapman
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