strategy: define w (as w(P) rather than w(H)

[topbloke-formulae.git] / strategy.tex

diff --git a/strategy.tex b/strategy.tex
index e2017c34c3fcd516d308438ab5c6f33f3b577583..2f676bb7808acc38e7e6033cf437d260fd6a178f 100644 (file)
--- a/strategy.tex
+++ b/strategy.tex
@@ -84,6 +84,12 @@ all of its dependencies will be updated.
 \item[ $h : \pc^{+/-} \mapsto \set H^{\pc^{+/-}}$ ]
 Function for getting the existing heads $\set H$ of the branch $\pc^{+/-}$.
 
+\item[ $w : \pc^{+/-} \mapsto \set W_0^{\pc^{+/-}}$ ]
+
+Function for getting the existing local head of the branch
+$\pc^{+/-}$.  I.e., the current value of the branch ref for $\pc^{+/-}$.
+$W_0^{\pc^{+/-}} \in \set H$.
+
 \item[ $g : \pc, \Gamma \mapsto \Gamma'$ ]
 Function to allow explicit adjustment of the direct dependencies
 of $\pc$.  It is provided with a putative set of direct dependencies