chiark / gitweb /
more clarifications and fixes from reread
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 17:59:57 +0000 (17:59 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 17:59:57 +0000 (17:59 +0000)
article.tex

index 3219147..70cee81 100644 (file)
@@ -659,7 +659,7 @@ Not applicable.
 
 \section{Anticommit}
 
-Given $L$ and $\pr$ as represented by $R^+, R^-$.
+Given $L$ which contains $\pr$ as represented by $R^+, R^-$.
 Construct $C$ which has $\pr$ removed.
 Used for removing a branch dependency.
 \gathbegin