X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=article.tex;h=89d23fe179d9bfc53524f3cfe65fb20d4425f51e;hp=be6d4759945ccdbfacbe46ab9527357abb874df4;hb=9e53deabff04c90177d8282bdf7969545e6dc5ee;hpb=abaf9e52109447fda8609b7d7748ede9ad48ec15 diff --git a/article.tex b/article.tex index be6d475..89d23fe 100644 --- a/article.tex +++ b/article.tex @@ -449,9 +449,9 @@ Merge commits $L$ and $R$ using merge base $M$ ($M < L, M < R$): \end{cases} }\] -\subsection{Merge Results} +\subsection{No Replay} -As above. +See No Replay for Merge Results. \subsection{Unique Base}