auto

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*.