--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testing/utp_1.1/report/include/macros.tex	Tue Dec 06 18:42:11 2011 +0100
@@ -0,0 +1,69 @@
+\newcommand{\martin}[1]{\textcolor{blue}{\textit{Martin: #1}}}
+\newcommand{\anneke}[1]{\textcolor{red}{\textit{Anneke: #1}}}
+
+\newcommand{\etc}{\textit{etc}}
+\newcommand{\ie}{\textit{i.e.}}
+\newcommand{\da}{\textsc{LTPDA}}
+\newcommand{\code}[1]{\texttt{#1}}
+\newcommand{\tbd}[0]{\textcolor{red}{TBD}}
+\newcommand{\ltpda}[0]{\textsc{LTPDA}}
+
+\newcommand{\q}[1]{\lq #1'}
+
+\newenvironment{Ventry}[1]%
+{\begin{list}{}%
+    {\renewcommand{\makelabel}[1]{\textbf{##1:}\hfil}%
+     \settowidth{\labelwidth}{\textbf{#1:}}%
+     \setlength{\leftmargin}{\labelwidth+\labelsep}%
+    }%
+}
+{\end{list}}
+
+\newenvironment{flist}[1]%
+{\begin{list}{}%
+    {\renewcommand{\makelabel}[1]{\texttt{##1:}\hfil}%
+     \settowidth{\labelwidth}{\texttt{#1:}}%
+     \setlength{\leftmargin}{\labelwidth+\labelsep}%
+    }%
+}
+{\end{list}}
+
+% UTP
+\newcounter{utpscount}
+\setcounter{utpscount}{1}
+\newcommand{\utps}[2]{\noindent\textbf{\\UTP\_S\hspace{-0.13cm}\padzeroes[3]\decimal{utpscount}}\hspace{0.3cm}\stepcounter{utpscount}%
+\parbox[t]{12cm}{#1}\\\medskip\parbox[t]{12cm}{#2}}
+
+% Algorithmic UTP
+\newcounter{utpacount}
+\setcounter{utpacount}{1}
+\newcommand{\utpa}[1]{\noindent\textbf{\\UTP\_A\hspace{-0.13cm}\padzeroes[3]\decimal{utpacount}}\hspace{0.3cm}\stepcounter{utpacount}%
+\parbox[t]{12cm}{#1}\\\medskip}
+
+
+\newcounter{utpcount}%
+\setcounter{utpcount}{1}%
+\newcommand{\utpfcn}{default\_name}
+
+\newcommand{\utp}[5]{\noindent\vspace{0.3cm}%
+\begin{tabularx}{\textwidth}{@{}|c|X|p{#1cm}@{}|@{}}%
+        \multicolumn{3}{@{}p{\textwidth}@{}}{\textbf{\utpfcn\_\padzeroes[3]\decimal{utpcount}} \stepcounter{utpcount}} \\
+        \hline
+        \textbf{S} & \textbf{Call}  \newline #2 &  #3 \\
+        \hline
+        \textbf{A} & \textbf{Check} \newline #4 &  #5 \\
+        \hline
+\end{tabularx}\vspace{0.3cm}}
+
+
+
+
+\newcounter{stpcount}
+\setcounter{stpcount}{1}
+\newcommand{\stp}[1]{\noindent\\\vspace{0.3cm}%
+\begin{tabular}{|l|p{12cm}|}%
+	\hline
+	\textbf{ST\_\hspace{-0.13cm}\padzeroes[3]\decimal{stpcount}}\stepcounter{stpcount} & #1 \\ \hline
+\end{tabular}\vspace{0.3cm}}
+
+