project.tex

   1 \documentclass{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
  11 \graphicspath{{./img/}}
  12
  13 \definecolor{lred}{HTML}{FFC0C0}
  14 \definecolor{lyellow}{HTML}{FFFFC0}
  15 \definecolor{lgreen}{HTML}{C0FFC0}
  16 \definecolor{lcyan}{HTML}{C0FFFF}
  17 \definecolor{lblue}{HTML}{C0C0FF}
  18 \definecolor{lmagenta}{HTML}{FFC0FF}
  19 \definecolor{red}{HTML}{FF0000}
  20 \definecolor{yellow}{HTML}{FFFF00}
  21 \definecolor{green}{HTML}{00FF00}
  22 \definecolor{cyan}{HTML}{00FFFF}
  23 \definecolor{blue}{HTML}{0000FF}
  24 \definecolor{magenta}{HTML}{FF00FF}
  25 \definecolor{dred}{HTML}{C00000}
  26 \definecolor{dyellow}{HTML}{C0C000}
  27 \definecolor{dgreen}{HTML}{00C000}
  28 \definecolor{dcyan}{HTML}{00C0C0}
  29 \definecolor{dblue}{HTML}{0000C0}
  30 \definecolor{dmagenta}{HTML}{C000C0}
  31 \definecolor{black}{HTML}{000000}
  32 \definecolor{white}{HTML}{FFFFFF}
  33
  34 \author{Mart Lubbers\and Marjolein Zwerver}
  35 \title{Semantische analyse van \textit{Piet} middels een vergelijking met \textit{While}}
  36 \subtitle{Eerste opzet}
  37 \date{\today}
  38
  39 \begin{document}
  40 \maketitle
  41 \tableofcontents
  42 \newpage
  43
  44 \section{Introductie}
  45 \input{introduction.tex}
  46
  47 \section{Syntax}
  48 \input{syntax.tex}
  49
  50 \section{Semantiek}
  51 \input{semantics.tex}
  52
  53 \section{Analyse}
  54 \input{analysis.tex}
  55
  56 \section{Planning}
  57 \input{planning.tex}
  58
  59 \end{document}