reset a3, kut Charlie ;)

[tt2015.git] / a3 / preamble.tex

diff --git a/a3/preamble.tex b/a3/preamble.tex
new file mode 100644 (file)
index 0000000..bbedaff
--- /dev/null
+++ b/a3/preamble.tex
@@ -0,0 +1,34 @@
+\documentclass[titlepage]{article}
+
+\usepackage{a4wide}
+\usepackage[dvipdfm]{hyperref}
+\usepackage{listings}
+\usepackage{graphicx}
+\usepackage{multirow}
+\usepackage{float}
+\usepackage{tabu}
+\usepackage{tabularx}
+\usepackage{longtable}
+\usepackage{amsfonts}
+\usepackage{xspace}
+\newcommand{\xmark}{\texttt{\textbf{x}}}
+
+\newcounter{TCC}
+\newcommand{\doTCC}{\theTCC \stepcounter{TCC}}
+
+\newcommand{\GAST}{G$\forall$ST\xspace}
+
+\lstset{%
+  breakatwhitespace=false,         % sets if automatic breaks should only happen at whitespace
+  breaklines=true,                 % sets automatic line breaking
+  frame=single,                           % adds a frame around the code
+  tabsize=4
+}
+
+\author{%
+       Charlie Gerhardus\and
+       Pim Jager\and
+       Mart Lubbers
+}
+\title{Model based testing of TCP} 
+\date{\today}