strategy: new, wip, found

diff --git a/strategy.tex b/strategy.tex
index d9a2545f1db52b98ed9d8330cd1dfd55e91c561f..341285349c2da86dc891b5cb1a00c668f6f11cf2 100644 (file)
--- a/strategy.tex
+++ b/strategy.tex
@@ -43,7 +43,7 @@ partial order.
 
 \item[ $\pendsof{\set J}{\p}$ ]
 Convenience notation for
-the maximal elements of $\bigcup_{J \in \set J} \pendsof{J}{\p}$
+the $\le$-maximal elements of $\bigcup_{J \in \set J} \pendsof{J}{\p}$
 (where $\set J$ is some set of commits).
 
 \item[ $\pendsof{\set X}{\p} \le T$ ]
@@ -127,7 +127,7 @@ is a collection of heads to be merged into $W$.)
 \item For each $S_i$ in turn, choose a corresponding $M_i$
 such that $$
    M_i \le S_i \land \left[
-   M_i \le W \lor \bigexists_{S_i, j<i} M_i \le s_i
+   M_i \le W \lor \bigexists_{S_i, j<i} M_i \le S_i
    \right]
 $$
 
@@ -176,6 +176,10 @@ the ordered set of base branch sources $\set S_{\pcn} = \set S,
 S_{\pcn,i} = S_i$
 and corresponding merge bases $M_{\pcn,i} = M_i$.
 
+\section{Traversal phase}
+
+
+
 
 
 \section{Planning phase}