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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,6d79efdb8dde2c5a
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!x21g2000yqa.googlegroups.com!not-for-mail
From: Phil Thornley <phil.jpthornley@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: SPARK : third example for Roesetta - reviewers welcome
Date: Mon, 16 Aug 2010 01:37:36 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <b08743ce-a85f-4962-8fbb-c2601b9cc4a1@x21g2000yqa.googlegroups.com>
References: <op.vhguffh3ule2fv@garhos>
 <589eea9a-0b14-4ae5-bf62-9abf4b33e7fb@i31g2000yqm.googlegroups.com>
 <i49oif$1c85$1@adenine.netfront.net> <op.vhh3bwnwxmjfy8@garhos>
 <82mxsnuhbq.fsf@stephe-leake.org>
NNTP-Posting-Host: 80.177.171.182
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1281947856 25865 127.0.0.1 (16 Aug 2010 08:37:36
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 16 Aug 2010 08:37:36 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: x21g2000yqa.googlegroups.com; posting-host=80.177.171.182;
 posting-account=Fz1-yAoAAACc1SDCr-Py2qBj8xQ-qC2q
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 8.0; Windows NT 6.1; WOW64;
 Trident/4.0; SLCC2; .NET CLR 2.0.50727; .NET CLR 3.5.30729; .NET CLR
 3.0.30729; Media Center PC 6.0; .NET4.0C),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:13390
Date: 2010-08-16T01:37:36-07:00
List-Id: <comp.lang.ada>

On 16 Aug, 08:50, Stephen Leake <stephen_le...@stephe-leake.org>
wrote:
[...]
>
> The user rules are part of the SPARK source. The file names may not end
> in .ad?, but they are still source.
>
> Is there a way to get the Rosetta website to make that clear?

It appears to be very simple (although I haven't tried to do anything
yet).  The entry for a language consists of blocks (of text in any
format, although it does keyword colouring for known languages) that
can be called 'source' interspersed with any other text that can
explain the contents of the 'source' blocks.

So there's no problem adding user rules, just the question of whether
that is a good idea or not.

Cheers,

Phil