strategy: new, wip

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index 54de0cecf8d9b288d4149c285d3fe1b94379a162..18c75dfb1514c6ca0748097dde557140d89658aa 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -92,6 +92,10 @@
 \newcommand{\baseof}[1]{\base ( #1 ) }
 \newcommand{\depsreqof}[1]{\depsreq ( #1 ) }
 
+\newcommand{\allpatches}{\Upsilon}
+\newcommand{\assign}{\leftarrow}
+%\newcommand{\assign}{' =}
+
 \newcommand{\eqntag}[2]{ #2 \tag*{\mbox{#1}} }
 \newcommand{\eqn}[2]{ #2 \tag*{\mbox{\bf #1}} }
 
@@ -158,7 +162,7 @@
 \input{anticommit.tex}
 \input{merge.tex}
 
-\chapter{Merge strategy}
+\chapter{Update strategy}
 
 \input{strategy.tex}