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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,7b0188e023be40b6
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!backlog2.nntp.dca.giganews.com!nntp.posted.plusnet!news.posted.plusnet.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 27 Mar 2009 11:03:56 -0500
Date: Fri, 27 Mar 2009 16:03:41 +0000
From: Tim Rowe <spamtrap@tgrowe.plus.net>
User-Agent: Thunderbird 2.0.0.21 (Windows/20090302)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: SPARK Examiner -- visibility of Ada.Strings.Unbounded (and
  probably
 lots of other packages)
References: <MrqdnWzwueTeC1bUnZ2dnUVZ8r-WnZ2d@posted.plusnet>
 	<8c753bd7-3df6-418a-8cd7-342af6eadeff@g38g2000yqd.googlegroups.com>
 	<49cb9cd8$0$31344$9b4e6d93@newsspool4.arcor-online.net>
 <aab0062e-9734-406c-aa30-db9adae577b1@y13g2000yqn.googlegroups.com>
 	<YNydnQRMHdSLK1bUnZ2dnUVZ8oednZ2d@posted.plusnet>
 <KfadnR5dBtNhTlbUnZ2dnUVZ8gqWnZ2d@posted.plusnet>
 	<7VPFzoBF4IzJJwYX@diphi.demon.co.uk>
 <92db8dce-c32b-4938-9c00-f8a98261edef@q9g2000yqc.googlegroups.com>
In-Reply-To: 
 <92db8dce-c32b-4938-9c00-f8a98261edef@q9g2000yqc.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <g6GdnQ40rMJwZVHUnZ2dnUVZ8t-dnZ2d@posted.plusnet>
X-Usenet-Provider: http://www.giganews.com
X-Trace: 
 sv3-7B4v9A2AovQZxFmgiyFm/pi7dlRDEgEaQsgHY3AhHB9SXfLX985JieY/NUdmbarVqWWTeL3rDBAtdlV!Wdrg37M3fO1KmYqxAM05BGPcNg/iGkAKE6+OdPChOyrG1wfNLYCBMm0SlelrIxlPXCp6C+lU02Lq!cplasJ/joyHx
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.39
X-Original-Bytes: 2194
Xref: g2news2.google.com comp.lang.ada:5344
Date: 2009-03-27T16:03:41+00:00
List-Id: <comp.lang.ada>

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.