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. |