From: Ada novice <posts@gmx.us>
Subject: Re: installing SPARK GPL on Windows
Date: Sun, 8 Aug 2010 04:48:37 -0700 (PDT)
Date: 2010-08-08T04:48:37-07:00 [thread overview]
Message-ID: <f10a5454-c554-4c7f-beb1-08fe785faeb9@q22g2000yqm.googlegroups.com> (raw)
In-Reply-To: 0089f326-cf42-4f85-bfe6-f0709e53333b@f42g2000yqn.googlegroups.com
On Aug 8, 1:44 pm, Ada novice <po...@gmx.us> 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
next prev parent reply other threads:[~2010-08-08 11:48 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-07 17:43 installing SPARK GPL on Windows Ada novice
2010-08-07 19:37 ` Phil Thornley
2010-08-07 21:00 ` Ada novice
2010-08-08 11:12 ` Rod Chapman
2010-08-08 11:44 ` Ada novice
2010-08-08 11:48 ` Ada novice [this message]
2010-08-07 20:30 ` Yannick Duchêne (Hibou57)
2010-08-07 21:04 ` Ada novice
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox