chiark / gitweb /
comments from mdw - fix incorrect refs to B in create tip
[topbloke-formulae.git] / create-tip.tex
index 076f866a78424ebbad651657712cc5364ab3f96a..3e8876021c23c08b0d46c5b7a86d8378a428c38a 100644 (file)
@@ -1,11 +1,11 @@
 \section{Create Tip}
 
 Given a Topbloke base $B$ for a patch $\pq$,
 \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
 \gathbegin
  C \hasparents \{ B \}
 \gathnext
- \patchof{B} = \pqy
+ \patchof{C} = \pqy
 \gathnext
  D \isin C \equiv D \isin B \lor D = C
 \end{gather}
 \gathnext
  D \isin C \equiv D \isin B \lor D = C
 \end{gather}