Adding chapter: Idioms for Protected Objects#1287

Merged

pat-rogers merged 4 commits intoAdaCore:mainfrom

gusthoff:content/ada_in_practice/new_section/idioms_for_protected_objects/20251128

Dec 8, 2025

Commits on Nov 28, 2025

Editorial change: adding anchor
gusthoff
committed

Commits on Nov 30, 2025

Adding chapter: Idioms for Protected Objects

Pat Rogers
authored and
gusthoff
committed
Editorial change: adding note on previous publication
gusthoff
committed
Various editorial changes
gusthoff
committed