chiark / gitweb /
wip exclusive haspatch - fix Commit Annotation
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 21 Mar 2012 18:21:28 +0000 (18:21 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 21 Mar 2012 18:21:28 +0000 (18:21 +0000)
annotations.tex

index 72b00e8..3401475 100644 (file)
@@ -19,7 +19,7 @@ Whether $\baseof{C}$ is required, and if so what the value is, is
 stated in the proof of Unique Base for each kind of commit.
 
 $C \haspatch \p$ or $\nothaspatch \p$ is represented as a
-list of $\p$ for which it is known that $C \haspatch \p$;
+list of $\p$ for which $C \haspatch \p$;
 for any $\p$ not listed, $C \nothaspatch \p$.
 Whether to record $C \haspatch \p$ in a new commit
 is in stated