From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 27 Mar 2012 19:07:00 +0000 (+0100)
Subject: comments from mdw - fix incorrect refs to B in create tip
X-Git-Tag: f0.3~1
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=6fb34df9c3b69dadfead7027667e2db17e7b4004

comments from mdw - fix incorrect refs to B in create tip
---

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}