Category:SPARK: Difference between revisions
Content added Content deleted
m ("Ada" tag should be "ada".) |
(Undo revision 88746 by PhilThornley (Talk)) |
||
Line 1: | Line 1: | ||
{{language|SPARK |
{{language|SPARK |
||
|tags= |
|tags=Ada |
||
|exec=machine |
|exec=machine |
||
|gc=allowed |
|gc=allowed |