Skip to content

Tags: AdaCore/learn

Tags

r2026.01.31

Toggle r2026.01.31's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1308 from gusthoff/topic/infrastructure/yarn/upda…

…tes/20260130/npm_upgrades

Frontend: update some yarn packages

r2025.11.30

Toggle r2025.11.30's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1290 from gusthoff/topic/infrastructure/yarn/upda…

…tes/20251130/npm_rm_node-linker

Frontend: removing old node-linker package

r2025.10.31

Toggle r2025.10.31's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1284 from gusthoff/content/advanced_ada/review/ed…

…itorial/general/20251031/minor_improvements

 Editorial changes: minor improvements to "Advanced Ada" course

2025.09.30

Toggle 2025.09.30's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1275 from gusthoff/content/adacore-technologies-f…

…or-airborne-software/editorial/review/20250926

Editorial change: various corrections and improvements to "Airborne Software" booklet

r2025.09.30

Toggle r2025.09.30's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1275 from gusthoff/content/adacore-technologies-f…

…or-airborne-software/editorial/review/20250926

Editorial change: various corrections and improvements to "Airborne Software" booklet

r2025.08.29

Toggle r2025.08.29's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1258 from gusthoff/content/advanced_ada/review/ed…

…itorial/general/20250829/changelog

Editorial change: updating list for 2025-08 release

r2025.07.26

Toggle r2025.07.26's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1251 from AdaCore/remove_fundamentals_of_ada

This content is no longer used

r2025.06.27

Toggle r2025.06.27's commit message
Python: updating some packages

r2025.05.31

Toggle r2025.05.31's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #1228 from gusthoff/topic/infrastructure/vagrant/2…

…0250530/vm_apt_update

Vagrant VM: updating apt packages

r2025.04.27

Toggle r2025.04.27's commit message
Test script: using raw strings