RE: Idea: create

["Robert C. Leif" <rleif@rleif.com>]

I believe that SPARK belongs on Comp.Lang.Ada. I hope that Ada 0? will
include SPARK or at least the semantics of SPARK as a subset. We could then
have Pragma Restrictions(SPARK).
Bob Leif

-----Original Message-----
From: Rod Chapman [mailto:rod.chapman@praxis-cs.co.uk] 
Sent: Friday, January 24, 2003 3:22 AM
To: comp.lang.ada@ada.eu.org
Subject: Idea: create comp.lang.ada.spark - thoughts?

Dear c.l.a

We are considering submitting a Request for Disscussion (RFD) to 
create a new newsgroup: comp.lang.ada.spark

This would be an unmoderated group for general discussion of the SPARK
Ada subset and its uses.  In order for an RFD to be successful there has
to be a general critical-mass of interest (and votes!) to make it
worth-while...

So...what do you think?  Good idea?  Bad idea?  Don't care?

Thanks,
 Rod Chapman, SPARK Team