Slides/157 break 273 subprogram contracts into chapters#462

frank-at-adacore wants to merge 2 commits intomasterAdaCore/training_material:masterfrom

slides/157-break-273_subprogram_contracts-into-chaptersAdaCore/training_material:slides/157-break-273_subprogram_contracts-into-chaptersCopy head branch name to clipboard