X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=versie-1%2Fproject.tex;fp=versie-1%2Fproject.tex;h=55267376c4829ff8e0d60ea0d8b916bee310ed9d;hb=4272348e58a32a4433614c55ea9ef650fe7b4f60;hp=0000000000000000000000000000000000000000;hpb=3c6cc0ecaf6173ed11e218bb96fa4ab52bc22233;p=sec1415.git diff --git a/versie-1/project.tex b/versie-1/project.tex new file mode 100644 index 0000000..5526737 --- /dev/null +++ b/versie-1/project.tex @@ -0,0 +1,61 @@ +\documentclass{scrartcl} + +\usepackage[dutch]{babel} +\usepackage[hidelinks]{hyperref} +\usepackage{amsmath} +\usepackage{amssymb} +\usepackage{graphicx} +\usepackage{xcolor} +\usepackage{proof} + +\graphicspath{{./img/}} + +\definecolor{lred}{HTML}{FFC0C0} +\definecolor{lyellow}{HTML}{FFFFC0} +\definecolor{lgreen}{HTML}{C0FFC0} +\definecolor{lcyan}{HTML}{C0FFFF} +\definecolor{lblue}{HTML}{C0C0FF} +\definecolor{lmagenta}{HTML}{FFC0FF} +\definecolor{red}{HTML}{FF0000} +\definecolor{yellow}{HTML}{FFFF00} +\definecolor{green}{HTML}{00FF00} +\definecolor{cyan}{HTML}{00FFFF} +\definecolor{blue}{HTML}{0000FF} +\definecolor{magenta}{HTML}{FF00FF} +\definecolor{dred}{HTML}{C00000} +\definecolor{dyellow}{HTML}{C0C000} +\definecolor{dgreen}{HTML}{00C000} +\definecolor{dcyan}{HTML}{00C0C0} +\definecolor{dblue}{HTML}{0000C0} +\definecolor{dmagenta}{HTML}{C000C0} +\definecolor{black}{HTML}{000000} +\definecolor{white}{HTML}{FFFFFF} +\definecolor{lgray}{HTML}{D3D3D3} +\definecolor{dorange}{HTML}{FF4500} + +\author{Mart Lubbers\and Marjolein Zwerver} +\title{Semantische analyse van \textit{Piet} middels een vergelijking met \textit{While}} +\subtitle{Eerste opzet} +\date{\today} + +\begin{document} +\maketitle +\tableofcontents +\newpage + +\section{Introductie} +\input{introduction.tex} + +\section{Syntax} +\input{syntax.tex} + +\section{Semantiek} +\input{semantics.tex} + +\section{Analyse} +\input{analysis.tex} + +\section{Planning} +\input{planning.tex} + +\end{document}