strategy: wip

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index 9cdd0d2fc4265123a503a43a8eea598faa9c295d..740a2bc406c37588e03e7e676611d57ce7c8a8d7 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -86,9 +86,11 @@
 
 \newcommand{\patch}{{\mathcal P}}
 \newcommand{\base}{{\mathcal B}}
+\newcommand{\depsreq}{{\mathcal D}}
 
 \newcommand{\patchof}[1]{\patch ( #1 ) }
 \newcommand{\baseof}[1]{\base ( #1 ) }
+\newcommand{\depsreqof}[1]{\depsreq ( #1 ) }
 
 \newcommand{\eqntag}[2]{ #2 \tag*{\mbox{#1}} }
 \newcommand{\eqn}[2]{ #2 \tag*{\mbox{\bf #1}} }
@@ -134,5 +136,6 @@
 \input{create-tip.tex}
 \input{anticommit.tex}
 \input{merge.tex}
+\input{strategy.tex}
 
 \end{document}