From 7ea82c90c1a5860cbe3abd1a18f55ca1720d1722 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sat, 10 Aug 2013 20:27:01 +0100 Subject: [PATCH] strategy: w gives commits, not sets --- strategy.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/strategy.tex b/strategy.tex index e12ff66..499ec34 100644 --- a/strategy.tex +++ b/strategy.tex @@ -84,7 +84,7 @@ 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^{+/-}}$ ] +\item[ $w : \pc^{+/-} \mapsto 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^{+/-}$. -- 2.30.2