From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 7 Jul 2012 15:53:04 +0000 (+0100)
Subject: wip strategy
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=9487356344b09d6e8276c9a93a7a58913afcf259

wip strategy
---

diff --git a/strategy.tex b/strategy.tex
index c870cfb..bfd3922 100644
--- a/strategy.tex
+++ b/strategy.tex
@@ -104,8 +104,8 @@ during the update algorithm).
 
 \item[ $\tipcn, \tipcy$ ]
 The new tips of the git branches $\pcn$ and $\pcy$, containing
-all the correct commits (and the correct other patches), as
-generated by the Traversal phase of the update algorithm.
+all the appropriate commits (and the appropriate other patches),
+as generated by the Traversal phase of the update algorithm.
 
 \end{basedescript}