chiark / gitweb /
create base fix def
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 17:56:28 +0000 (17:56 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 17:56:28 +0000 (17:56 +0000)
article.tex

index 65be01f4e3e5b51b9a378e5dc73d854c82723f1c..d3f553ae456bc24b381ff4c3a254996c2073f9c4 100644 (file)
@@ -474,7 +474,7 @@ Given $L$, create a Topbloke base branch initial commit $B$.
 \gathbegin
  B \hasparents \{ L \}
 \gathnext
 \gathbegin
  B \hasparents \{ L \}
 \gathnext
- \patchof{B} = \pa{B}
+ \patchof{B} = \pan{B}
 \gathnext
  D \isin B \equiv D \isin L \lor D = B
 \end{gather}
 \gathnext
  D \isin B \equiv D \isin L \lor D = B
 \end{gather}