From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 15 Mar 2012 19:14:25 +0000 (+0000)
Subject: Revert "rename anticommit section"
X-Git-Tag: f0.2~25
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=3d2ac5d704e35823486cdc034b437177af9201b6;hp=fdcbffd5a652eed8c5a7eab663d9dbea690866d1

Revert "rename anticommit section"

This reverts commit 8649610cb4d7ce51cda5040bf9f17c05636b016f.
---

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