From 6fb34df9c3b69dadfead7027667e2db17e7b4004 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Tue, 27 Mar 2012 20:07:00 +0100 Subject: [PATCH] comments from mdw - fix incorrect refs to B in create tip --- create-tip.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/create-tip.tex b/create-tip.tex index 076f866..3e88760 100644 --- a/create-tip.tex +++ b/create-tip.tex @@ -1,11 +1,11 @@ \section{Create Tip} Given a Topbloke base $B$ for a patch $\pq$, -create a tip branch initial commit B. +create a tip branch initial commit $C$. \gathbegin C \hasparents \{ B \} \gathnext - \patchof{B} = \pqy + \patchof{C} = \pqy \gathnext D \isin C \equiv D \isin B \lor D = C \end{gather} -- 2.30.2