chiark / gitweb /
notation: we have defined \setmerge now
[topbloke-formulae.git] / create-tip.tex
index 076f866..382cd0c 100644 (file)
@@ -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}
@@ -68,6 +68,10 @@ and $D \le C \equiv D \le B$.
 
 $\qed$
 
+\subsection{Unique Tips:}
+
+Single Parent Unique Tips applies.  $\qed$
+
 \subsection{Foreign Inclusion}
 
 Simple Foreign Inclusion applies.  $\qed$