a3/preamble.tex

   1 \documentclass[titlepage]{article}
   2
   3 \usepackage{a4wide}
   4 \usepackage[dvipdfm]{hyperref}
   5 \usepackage{listings}
   6 \usepackage{graphicx}
   7 \usepackage{multirow}
   8 \usepackage{float}
   9 \usepackage{tabu}
  10 \usepackage{tabularx}
  11 \usepackage{longtable}
  12 \usepackage{amsfonts}
  13 \usepackage{xspace}
  14 \newcommand{\xmark}{\texttt{\textbf{x}}}
  15
  16 \newcounter{TCC}
  17 \newcommand{\doTCC}{\theTCC \stepcounter{TCC}}
  18
  19 \newcommand{\GAST}{G$\forall$ST\xspace}
  20
  21 \lstset{%
  22   breakatwhitespace=false,         % sets if automatic breaks should only happen at whitespace
  23   breaklines=true,                 % sets automatic line breaking
  24   frame=single,                    % adds a frame around the code
  25   tabsize=4
  26 }
  27
  28 \author{%
  29         Charlie Gerhardus\and
  30         Pim Jager\and
  31         Mart Lubbers
  32 }
  33 \title{Model based testing of TCP}
  34 \date{\today}