Category:SPARK: Difference between revisions

Undo revision 88746 by PhilThornley (Talk)
m ("Ada" tag should be "ada".)
(Undo revision 88746 by PhilThornley (Talk))
Line 1:
{{language|SPARK
|tags=adaAda
|exec=machine
|gc=allowed