ja

[sec1415.git] / project.tex

diff --git a/project.tex b/project.tex
index 20c24e4..5526737 100644 (file)
--- a/project.tex
+++ b/project.tex
@@ -6,6 +6,7 @@
 \usepackage{amssymb}
 \usepackage{graphicx}
 \usepackage{xcolor}
+\usepackage{proof}
 
 \graphicspath{{./img/}}
 
@@ -29,6 +30,8 @@
 \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}}