From b336f56d176343cc2a408b89697e392c147c0d01 Mon Sep 17 00:00:00 2001
From: "Peter J. Keleher" <keleher@cs.umd.edu>
Date: Sat, 9 Dec 2023 07:41:58 -0500
Subject: [PATCH] auto

---
 p6.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/p6.md b/p6.md
index 641c271..5283718 100644
--- a/p6.md
+++ b/p6.md
@@ -178,6 +178,8 @@ to be included in the annotation.
 The following shows the execution timeline of transactions 1, 2, and 3
 from *scriptKV.1* and *scriptKV.2*:
 ![timeline](https://ceres.cs.umd.edu/818/projects/p6scripts.png)
+Each of the transactions *executes atomically* at the associated
+dotted line.
 
 ## Details
 - Start/finish transaction commands should have *oids* matching their *tids*.
-- 
GitLab