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 65be01f..d3f553a 100644 (file)
@@ -474,7 +474,7 @@ Given $L$, create a Topbloke base branch initial commit $B$.
 \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}