Category:SPARK: Difference between revisions

m
"Ada" tag should be "ada".
m (Added Ada language tag)
m ("Ada" tag should be "ada".)
Line 1:
{{language|SPARK
|tags=Adaada
|exec=machine
|gc=allowed