Partially reordered top-level topics.#1137

gusthoff merged 1 commit intoAdaCore:masterAdaCore/learn:masterfrom

pat-rogers:masterpat-rogers/learn:masterCopy head branch name to clipboard