ar/assignments/preamble.tex

   1 \documentclass{article}
   2
   3 \usepackage[dvipdfm]{hyperref}
   4 \usepackage{a4wide}
   5 \usepackage{bm}
   6 \usepackage{float}
   7 \usepackage{amsmath}
   8 \usepackage{listings}
   9
  10 \everymath{\displaystyle}
  11
  12 \lstset{%
  13   basicstyle=\footnotesize,
  14   breakatwhitespace=true,
  15   breaklines=true,
  16   keepspaces=true,
  17   numbers=left,
  18   numberstyle=\tiny,
  19   frame=L,
  20   showspaces=false,
  21   showstringspaces=false,
  22   showtabs=false,
  23   tabsize=2
  24 }
  25
  26 \author{Mart Lubbers (s4109503)}
  27 \title{Automated reasoning Assignment 1}
  28 \date{\today}