From: usenet@postinghost.com
Subject: Re: SPARK documentation?
Date: Thu, 12 Jan 2012 06:19:26 +0000 (UTC)
Date: 2012-01-12T06:19:26+00:00 [thread overview]
Message-ID: <slrnjgsurk.vpc.localhost@example.org> (raw)
In-Reply-To: 4f0db7ab$0$6582$9b4e6d93@newsspool3.arcor-online.net
On 2012-01-11, Georg Bauhaus <rm.dash-bauhaus@futureapps.de> wrote:
> On 11.01.12 16:47, usenet@postinghost.com wrote:
>> Now that I saw SPARK is the only AdaCore freebie available for the SPARC
>> platform I am looking for information on the SPARK subset. Can some kind
>> soul please direct me to the language reference manual or whatever they're
>> calling it. I searched a bit and didn't find anything that looks like an
>> LRM, just some proprietary documents and I don't understand what I am
>> looking at. Thanks.
>
> The language reference and other material lives in a subdirectory
> of the SPARK installation. Might be HTML documents, or PDF files.
> For example,
> $ ls -1 /opt/GNAT2011/docs/HTML/*LRM*
> /opt/GNAT2011/docs/HTML/SPARK83_LRM.htm
> /opt/GNAT2011/docs/HTML/SPARK_LRM.htm
> $
Thanks. That explains things further since there is no GNAT GPL for SPARC,
there is also no doc for SPARK although the SPARK package is downloadable
from libre.adacore.com. Very odd...
next prev parent reply other threads:[~2012-01-12 6:21 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-01-11 15:47 SPARK documentation? usenet
2012-01-11 16:23 ` Jeffrey Carter
2012-01-12 6:18 ` usenet
2012-01-11 16:24 ` Georg Bauhaus
2012-01-12 6:19 ` usenet [this message]
2012-01-12 2:41 ` Britt
2012-01-12 6:20 ` usenet
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox