spark2014

ada/spark2014

mirror of https://github.com/AdaCore/spark2014.git synced 2026-02-12 12:39:11 -08:00

Files

Johannes Kanig 35e56d626f (no-tn-check) fix various whitespace issues on the repo

Change-Id: I387b5ffa968e0e212924455ada8a38ef71a64431

2021-12-15 11:54:30 +09:00

2021-12-15 11:54:30 +09:00

actuator.ads

2013-05-16 08:46:30 +01:00

advancebutton-raw.ads

2013-05-16 08:46:30 +01:00

advancebutton.ads

2013-05-16 08:46:30 +01:00

clock.ads

2013-05-16 08:46:30 +01:00

display.ads

2013-05-16 08:46:30 +01:00

heatingsystem_dfa.adb

2013-05-16 08:46:30 +01:00

indicator.ads

2013-05-16 08:46:30 +01:00

intro.gpr

2013-05-16 08:46:30 +01:00

modeswitch.ads

2013-05-16 08:46:30 +01:00

programswitch.ads

2013-05-16 08:46:30 +01:00

thermostat.ads

2013-05-16 08:46:30 +01:00