\newcommand{\patch}{{\mathcal P}}
\newcommand{\base}{{\mathcal B}}
-\newcommand{\depsreq}{{\mathcal D}}
+\newcommand{\depsreq}{{\mathcal G}}
+
+\newcommand{\allsrcs}{\set U}
\newcommand{\patchof}[1]{\patch ( #1 ) }
\newcommand{\baseof}[1]{\base ( #1 ) }
\newcommand{\depsreqof}[1]{\depsreq ( #1 ) }
+\newcommand{\foreign}{\pa F}
+\newcommand{\isforeign}[1]{#1 \in \foreign}
+
\newcommand{\allpatches}{\Upsilon}
\newcommand{\assign}{\leftarrow}
\newcommand{\iassign}{\leftarrow}
\newcommand{\proofstarts}{{\it Proof:}}
\newcommand{\proof}[1]{\proofstarts #1 $\qed$}
+\newcommand{\statement}[2]{\[\eqn{ #1 }{ #2 }\]}
+
\newcommand{\gathbegin}{\begin{gather} \tag*{}}
\newcommand{\gathnext}{\\ \tag*{}}
\input{create-tip.tex}
\input{anticommit.tex}
\input{merge.tex}
+\input{pseudomerge.tex}
\chapter{Update strategy}
\input{strategy.tex}
+\input{ranking.tex}
+\input{trav-alg.tex}
+\input{trav-proofs.tex}
\end{document}