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,e5373b7ba73e9421
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!postnews.google.com!g19g2000yqc.googlegroups.com!not-for-mail
From: Rod Chapman <roderick.chapman@googlemail.com>
Newsgroups: comp.lang.ada
Subject: Re: installing SPARK GPL on Windows
Date: Sun, 8 Aug 2010 04:12:06 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <04c7dbc6-1c32-400e-926c-618c9bd1998d@g19g2000yqc.googlegroups.com>
References: 
 <1d6d0e90-c9cd-4b62-a542-467a19e69095@y11g2000yqm.googlegroups.com>
	<651cc933-09eb-40b4-b5f6-b04a95d58c3e@h28g2000yqd.googlegroups.com>
NNTP-Posting-Host: 90.192.138.168
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1281265926 30418 127.0.0.1 (8 Aug 2010 11:12:06
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sun, 8 Aug 2010 11:12:06 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: g19g2000yqc.googlegroups.com; posting-host=90.192.138.168;
	posting-account=HCzrEgkAAABSfGsTnv-u5wET6EzuneVi
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10_6_4; en-us)
	AppleWebKit/533.17.8 (KHTML,
 like Gecko) Version/5.0.1 Safari/533.17.8,gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:12944
Date: 2010-08-08T04:12:06-07:00
List-Id: <comp.lang.ada>

On Aug 7, 8:37=A0pm, Phil Thornley <phil.jpthorn...@gmail.com> wrote:
> Ahhh, you definitely need to read a bit more about SPARK. =A0Start with
> the SPARK_LRM in SPARK\2010\docs which has all the background and
> rationale for the language.

The SPARK LRM is not really designed for novices. Much better to start
with
John Barnes' book (most obviously available from amazon.co.uk) or
with the Tokeneer download package and the Tokeneer Discovery Tutorial
package that we did - both available from www.adacore.com/tokeneer
 - Rod, SPARK Team