Jump to content

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
Cookies help us deliver our services. By using our services, you agree to our use of cookies.