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 \newcommand{\xmark}{\texttt{\textbf{x}}}
  14
  15 \newcounter{TCC}
  16 \newcommand{\doTCC}{\theTCC \stepcounter{TCC}}
  17
  18 \newcommand{\GAST}{G$\forall$ST}
  19
  20 \lstset{%
  21   breakatwhitespace=false,         % sets if automatic breaks should only happen at whitespace
  22   breaklines=true,                 % sets automatic line breaking
  23   frame=single,                    % adds a frame around the code
  24   tabsize=4
  25 }
  26
  27 \author{%
  28         Charlie Gerhardus\and
  29         Pim Jager\and
  30         Mart Lubbers
  31 }
  32 \title{Model based testing of TCP}
  33 \date{\today}