ada/spark2014
0
0
Fork 0
mirror of https://github.com/AdaCore/spark2014.git synced 2026-02-12 12:39:11 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
26.1
spark2014/docs/case_study/ex2
History
Rod Chapman 1b470c44e4 [MB20-036] Correct to -ize spelling of initialize in 
* GNAT2why code
* case study examples

Note - Tokeneer test case does use -ise spelling, but this has not
been corrected at this point.
2013-11-20 14:52:28 +00:00
..
SPARK2005
[MB20-036] Correct to -ize spelling of initialize in
2013-11-20 14:52:28 +00:00
exchange_examples.adb
[MB20-036] Correct to -ize spelling of initialize in
2013-11-20 14:52:28 +00:00
exchange_examples.ads
[L926-017] move code and docs from Altran SVN to public repository
2013-05-16 08:46:30 +01:00
intro.gpr
[L926-017] move code and docs from Altran SVN to public repository
2013-05-16 08:46:30 +01:00