Hi all, [+CC: Marco, as Patch 1/2 includes update related to access-marking.txt.] Looks to me like Andrea's herd-representation.txt has stabilized. Patch 1/2 fills missing pieces in docs/README. While skimming through documents, I noticed a typo in simple.txt. Patch 2/2 fixes it. Thanks, Akira -- Akira Yokosawa (2): tools/memory-model: Add locking.txt and glossary.txt to README tools/memory-model: simple.txt: Fix dangling reference to recipes-pairs.txt tools/memory-model/Documentation/README | 17 +++++++++++++++++ tools/memory-model/Documentation/simple.txt | 2 +- 2 files changed, 18 insertions(+), 1 deletion(-) base-commit: 662b960d12d280476c4b09070ed6c4b808ee91da -- 2.34.1