X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=strategy.tex;h=a4716b313dd577c5e74c6e1a7afe4f39ba8be082;hp=253ffc31fb1340fbd8dff16516d6caa0f8b33262;hb=50af1d201be714a35c68f50df87c896cadd02412;hpb=8f439786bda0cd262aee087f20fc6322ed7a144f

diff --git a/strategy.tex b/strategy.tex
index 253ffc3..a4716b3 100644
--- a/strategy.tex
+++ b/strategy.tex
@@ -124,17 +124,3 @@ The set of reachable commits at the point where we have just generated
 $\tippy$, i.e. just after $\alg{Merge-Tip}(\p)$.
 
 \end{basedescript}
-
-\stdsection{ WIP tip satisfaction, reachable commits }
-
-We preserve/ensure
-$$ \tippy >= \pendsof{\allreach_{\py}}{\py} $$
-($\tippy$ is computed during traversal for the patch $\p$)
-
-We ensure this property by:
-  - we do not generate any commits for py other than
-    during Merge-Tip
-  - so at the start of Merge-Tip pendsof (O, py) = pendsof (U, py)
-  - Merge-Tip itself wip wip wip
-
-