somme ex2 and ex3 text

[tt2015.git] / a3 / preamble.tex

diff --git a/a3/preamble.tex b/a3/preamble.tex
deleted file mode 100644 (file)
index bbedaff..0000000
--- a/a3/preamble.tex
+++ /dev/null
@@ -1,34 +0,0 @@
-\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}