pre-2014 SPARK Ada

• SPARK_Ada Examples (pre-2014 version)
• Instructions on how to run SPARK Ada (pre-2014 version)
• Using IO in SPARK Ada (pre-2014 version)