chiark / gitweb /
rename anticommit section
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Mar 2012 18:20:13 +0000 (18:20 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Mar 2012 18:20:13 +0000 (18:20 +0000)
article.tex

index 4af8e05..e1d4712 100644 (file)
@@ -657,10 +657,11 @@ Simple Foreign Inclusion applies.  $\qed$
 
 Not applicable.
 
-\section{Anticommit}
+\section{Dependency Removal}
 
 Given $L$ which contains $\pr$ as represented by $R^+, R^-$.
-Construct $C$ which has $\pr$ removed.
+Construct $C$ which has $\pr$ removed by applying a single
+commit which is the anticommit of $\pr$.
 Used for removing a branch dependency.
 \gathbegin
  C \hasparents \{ L \}