Skip to content

Minor editorial changes to "Ada In Practice" course #1263

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Sep 19, 2025
Merged

Minor editorial changes to "Ada In Practice" course #1263

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
4058a3f
Editorial change: correct typo
gusthoff Sep 19, 2025
b54b3b5
Editorial change: adding references to bibliography
gusthoff Sep 19, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 3 additions & 2 deletions content/courses/ada-in-practice/chapters/raii.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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.)

Expand Down
2 changes: 1 addition & 1 deletion content/courses/intro-to-embedded-sys-prog/chapters/low_level_programming.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
Loading