aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/adabkend.adb
AgeCommit message (Expand)AuthorFilesLines
2013-04-24adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.Yannick Moy1-3/+3
2013-04-11[multiple changes]Arnaud Charlet1-0/+7
2013-04-11[multiple changes]Arnaud Charlet1-1/+3
2012-10-29* adabkend.ads, adabkend.adb, aa_util.ads, aa_util.adb: New.Arnaud Charlet1-0/+282