Category:SPARK: Difference between revisions

Content added Content deleted
m (Added reference to c.l.a for talking about SPARK.)
m (Added newsgroup link.)
Line 33: Line 33:
The SPARK tools are freely available under the GNU GPL. The SPARK language definition is proprietary - the main copyright is held by [http://www.sparkada.com/ Altran-Praxis].
The SPARK tools are freely available under the GNU GPL. The SPARK language definition is proprietary - the main copyright is held by [http://www.sparkada.com/ Altran-Praxis].


The comp.lang.ada newsgroup is the main forum for discussing or asking questions about SPARK.
The [news:comp.lang.ada comp.lang.ada] newsgroup is the main forum for discussing or asking questions about SPARK.