Merge pull request #1263 from gusthoff/content/ada_in_practice/review/editorial/20250919

Minor editorial changes to "Ada In Practice" course

Author: gusthoff

content/courses/ada-in-practice/chapters/raii.rst

@@ -35,8 +35,9 @@ responsible for implementing the mutually exclusive access, and also thread
 management. As a result, the source code is much simpler and is robust even in
 the face of exceptions.
 
-(In the works cited above, Hoare's contribution was equally important, but
-Hansen's contributions were reified in
+(In the works cited above, Hoare's contribution :footcite:p:`1974:hoare` was
+equally important, but Hansen's contributions :footcite:p:`1977:hansen`,
+:footcite:p:`1973:hansen` were reified in
 :wikipedia:`Concurrent Pascal <Concurrent_Pascal>`, a concrete programming
 language.)
 

content/courses/intro-to-embedded-sys-prog/chapters/low_level_programming.rst

@@ -871,7 +871,7 @@ But suppose, instead of being declared in the same declarative part, that
 visible part of a package declaration. (Assume :ada:`X` is visible to clients
 for some good reason.) That package declaration can be, and usually will be,
 compiled independently of clients, with the result that :ada:`X` might be
-represented in some way that cannot supporting querying the address
+represented in some way that cannot support querying the address
 meaningfully.
 
 Therefore, the declaration of :ada:`X` in the package spec should be marked as