Skip to content

Editorial: fix identifier typos and factual errors across course materials#1360

Merged
gusthoff merged 6 commits into
AdaCore:mainfrom
gusthoff:content/general/review/editorial/content/20260525
Jun 12, 2026
Merged

Editorial: fix identifier typos and factual errors across course materials#1360
gusthoff merged 6 commits into
AdaCore:mainfrom
gusthoff:content/general/review/editorial/content/20260525

Commits

Commits on Jun 12, 2026