chiark / gitweb /
improve wording
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 16:11:41 +0000 (16:11 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 16:11:41 +0000 (16:11 +0000)
article.tex

index d852fb8..1a1e9d1 100644 (file)
@@ -133,7 +133,7 @@ A patch $\p$ consists of two sets of commits $\pn$ and $\py$, which
 are respectively the base and tip git branches.  $\p$ may be used
 where the context requires a set, in which case the statement
 is to be taken as applying to both $\py$ and $\pn$.
-None of these sets overlap.  Hence:
+All of these sets are disjoint.  Hence:
 
 \item[ $ \patchof{ C } $ ]
 Either $\p$ s.t. $ C \in \p $, or $\bot$.