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 \definecolor{lgray}{HTML}{D3D3D3}
  34 \definecolor{dorange}{HTML}{FF4500}
  35
  36 \author{Mart Lubbers\and Marjolein Zwerver}
  37 \title{Semantische analyse van \textit{Piet} middels een vergelijking met \textit{While}}
  38 \subtitle{Eerste opzet}
  39 \date{\today}
  40
  41 \begin{document}
  42 \maketitle
  43 \tableofcontents
  44 \newpage
  45
  46 \section{Introductie}
  47 \input{introduction.tex}
  48
  49 \section{Syntax}
  50 \input{syntax.tex}
  51
  52 \section{Semantiek}
  53 \input{semantics.tex}
  54
  55 \section{Analyse}
  56 \input{analysis.tex}
  57
  58 \section{Planning}
  59 \input{planning.tex}
  60
  61 \end{document}