stack.adb
|
Rename Ada runtime to SPARK runtime
|
2019-02-19 11:08:17 +01:00 |
stack.ads
|
Rename Ada runtime to SPARK runtime
|
2019-02-19 11:08:17 +01:00 |
stack.gpr
|
Rename Ada runtime to SPARK runtime
|
2019-02-19 11:08:17 +01:00 |
target.mk
|
Rename Ada runtime to SPARK runtime
|
2019-02-19 11:08:17 +01:00 |