chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
151d200
)
improve wording
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 16:11:41 +0000
(16:11 +0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 16:11:41 +0000
(16:11 +0000)
article.tex
patch
|
blob
|
history
diff --git
a/article.tex
b/article.tex
index d852fb8a7be17b2b5acb9245c97997c7db40717c..1a1e9d14363d2b3b629a21e6320029754bdcc614 100644
(file)
--- a/
article.tex
+++ b/
article.tex
@@
-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$.