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:
f863724
)
anticommit - split out ordering
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 12:31:53 +0000
(12:31 +0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 12:31:53 +0000
(12:31 +0000)
article.tex
patch
|
blob
|
history
diff --git
a/article.tex
b/article.tex
index f5cfd3df9f7b3154d247dc78facf518734b0fa73..7f55e4fea15e0ba20f05978cfe052a2f5dee1101 100644
(file)
--- a/
article.tex
+++ b/
article.tex
@@
-439,11
+439,14
@@
Used for removing a branch dependency.
L \haspatch \pry
}\]
-\subsection{
No Replay
}
+\subsection{
Ordering of ${L, R^+, R^-}$:
}
By Unique Tip, $R^+ \le L$. By definition of $\base$, $R^- \le R^+$
-so $R^- \le L$. So $R^+ \le C$ and $R^- \le C$ and No Replay for
-Merge Results applies. $\qed$
+so $R^- \le L$. So $R^+ \le C$ and $R^- \le C$.
+
+\subsection{No Replay}
+
+No Replay for Merge Results applies. $\qed$
\subsection{Desired Contents}