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!q22g2000yqm.googlegroups.com!not-for-mail From: Ada novice Newsgroups: comp.lang.ada Subject: Re: installing SPARK GPL on Windows Date: Sun, 8 Aug 2010 04:48:37 -0700 (PDT) Organization: http://groups.google.com Message-ID: References: <1d6d0e90-c9cd-4b62-a542-467a19e69095@y11g2000yqm.googlegroups.com> <651cc933-09eb-40b4-b5f6-b04a95d58c3e@h28g2000yqd.googlegroups.com> <04c7dbc6-1c32-400e-926c-618c9bd1998d@g19g2000yqc.googlegroups.com> <0089f326-cf42-4f85-bfe6-f0709e53333b@f42g2000yqn.googlegroups.com> NNTP-Posting-Host: 193.11.22.91 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1281268118 23841 127.0.0.1 (8 Aug 2010 11:48:38 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Sun, 8 Aug 2010 11:48:38 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: q22g2000yqm.googlegroups.com; posting-host=193.11.22.91; posting-account=Rr9I-QoAAACS-nOzpA-mGxtAlZ46Nb6I User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.2.8) Gecko/20100722 Firefox/3.6.8 (.NET CLR 3.5.30729),gzip(gfe) Xref: g2news1.google.com comp.lang.ada:12947 Date: 2010-08-08T04:48:37-07:00 List-Id: On Aug 8, 1:44=A0pm, Ada novice wrote: > > Yes the LRM is not a beginner's document. It'll come handy afterwards. > I've heard about Barnes' book and I think that it's the only book > available on SPARK. Thanks for the tokeener link. I need to study the > documents therein. > > YC I course I meant tokeneer and not tokeener as I wrote. Sorry for this slip. YC