Merge branch 'master' of https://github.com/dopefishh/cc1516

[cc1516.git] / deliverables / report / report.tex

diff --git a/deliverables/report/report.tex b/deliverables/report/report.tex
index ce6f41c..248bcb2 100644 (file)
--- a/deliverables/report/report.tex
+++ b/deliverables/report/report.tex
@@ -5,6 +5,7 @@
 \usepackage{spl}
 \usepackage{hyperref}
 \usepackage[a4paper]{geometry}
+\usepackage{proof}
 
 \title{Compiler Construction: SPL Compiler}
 \author{Pim Jager\and Mart Lubbers}
@@ -17,9 +18,12 @@
 }
 
 \newcommand{\SPLC}{\texttt{SPLC}}
-\newcommand{\SPL}{\texttt{SPLC}}
-\newcommand{\SSM}{\texttt{SPLC}}
+\newcommand{\SPL}{\texttt{SPL}}
+\newcommand{\SSM}{\texttt{SSM}}
 \newcommand{\Yard}{\textsc{Yard}}
+\def\AST/{\texttt{AST}}
+
+\let\tt\texttt
 
 \begin{document}
 \maketitle