X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=strategy.tex;h=bfd392224d6e5c854573b4988f4314fd66d40530;hp=c870cfbcfe4f77ecf430531d585f51712146076f;hb=9487356344b09d6e8276c9a93a7a58913afcf259;hpb=2621bc3962d0f9a3d12b2318aeb3f425fe6a28c7 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}