From c267ccaf70f120bd32e73ffdba695a749c1a798b Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sun, 18 Mar 2012 10:51:23 +0000 Subject: [PATCH] rationalise patch notation names - anticommit --- anticommit.tex | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/anticommit.tex b/anticommit.tex index 90304e0..166ae17 100644 --- a/anticommit.tex +++ b/anticommit.tex @@ -17,7 +17,7 @@ Used for removing a branch dependency. R^+ \in \pry \land R^- = \baseof{R^+} }\] \[ \eqn{ Into Base }{ - L \in \pqn + L \in \pln }\] \[ \eqn{ Unique Tip }{ \pendsof{L}{\pry} = \{ R^+ \} @@ -79,7 +79,7 @@ $\qed$ \subsection{Unique Base} -Into Base means that $C \in \pqn$, so Unique Base is not +Into Base means that $C \in \pln$, so Unique Base is not applicable. \subsection{Tip Contents} @@ -88,11 +88,11 @@ Again, not applicable. \subsection{Base Acyclic} -By Into Base and Base Acyclic for $L$, $D \isin L \implies D \not\in \pqy$. -And by Into Base $C \not\in \pqy$. +By Into Base and Base Acyclic for $L$, $D \isin L \implies D \not\in \ply$. +And by Into Base $C \not\in \ply$. Now from Desired Contents, above, $D \isin C \implies D \isin L \lor D = C$, which thus -$\implies D \not\in \pqy$. $\qed$. +$\implies D \not\in \ply$. $\qed$. \subsection{Coherence and Patch Inclusion} -- 2.30.2