project.tex

   1 \documentclass[a4paper]{scrartcl}
   2
   3 \usepackage[dutch]{babel}
   4 \usepackage[hidelinks]{hyperref}
   5 \usepackage{amsmath}
   6 \usepackage{amssymb}
   7 \usepackage{graphicx}
   8 \usepackage{xcolor}
   9 \usepackage{proof}
  10 \usepackage{float}
  11 \usepackage{lscape}
  12 \usepackage{fullpage}
  13 \usepackage{listings}
  14
  15 \graphicspath{{./img/}}
  16
  17 \lstset{
  18         mathescape=true,
  19         basicstyle=\scriptsize,
  20         keepspaces=true,
  21         columns=flexible,
  22         numbers=left,
  23         numbersep=5pt
  24 }
  25
  26 \definecolor{lred}{HTML}{FFC0C0}
  27 \definecolor{lyellow}{HTML}{FFFFC0}
  28 \definecolor{lgreen}{HTML}{C0FFC0}
  29 \definecolor{lcyan}{HTML}{C0FFFF}
  30 \definecolor{lblue}{HTML}{C0C0FF}
  31 \definecolor{lmagenta}{HTML}{FFC0FF}
  32 \definecolor{red}{HTML}{FF0000}
  33 \definecolor{yellow}{HTML}{FFFF00}
  34 \definecolor{green}{HTML}{00FF00}
  35 \definecolor{cyan}{HTML}{00FFFF}
  36 \definecolor{blue}{HTML}{0000FF}
  37 \definecolor{magenta}{HTML}{FF00FF}
  38 \definecolor{dred}{HTML}{C00000}
  39 \definecolor{dyellow}{HTML}{C0C000}
  40 \definecolor{dgreen}{HTML}{00C000}
  41 \definecolor{dcyan}{HTML}{00C0C0}
  42 \definecolor{dblue}{HTML}{0000C0}
  43 \definecolor{dmagenta}{HTML}{C000C0}
  44 \definecolor{black}{HTML}{000000}
  45 \definecolor{white}{HTML}{FFFFFF}
  46 \definecolor{lgray}{HTML}{D3D3D3}
  47 \definecolor{dorange}{HTML}{FF4500}
  48
  49 \author{Mart Lubbers\and Marjolein Zwerver}
  50 \title{Semantische analyse van \textit{Piet} middels een vergelijking met \textit{While}}
  51 %\subtitle{Eerste opzet}
  52 \date{\today}
  53
  54 \begin{document}
  55 \maketitle
  56 \tableofcontents
  57 \newpage
  58
  59 \section{Introductie}
  60 \input{introduction.tex}
  61
  62 \section{Syntax}
  63 \input{syntax.tex}
  64
  65 \section{Semantiek}
  66 \input{semantics.tex}
  67
  68 \section{Analyse}
  69 \input{analysis.tex}
  70
  71 \section{Planning}
  72 \input{planning.tex}
  73
  74 \end{document}