X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=deliverables%2Fp2%2Fpre.tex;fp=deliverables%2Fp1%2Fpre.tex;h=59c31d670d06535ea6a60aadd4733959ab3dd9bf;hb=5f216c089cf607cab359f5bc8d5b4ec76bc15a25;hp=5cc364c6aa194bf0bfd41dc245e517370212745b;hpb=285d41abeaa5a7c9297009da26b83b0236390c02;p=cc1516.git

diff --git a/deliverables/p1/pre.tex b/deliverables/p2/pre.tex
similarity index 64%
rename from deliverables/p1/pre.tex
rename to deliverables/p2/pre.tex
index 5cc364c..59c31d6 100644
--- a/deliverables/p1/pre.tex
+++ b/deliverables/p2/pre.tex
@@ -4,8 +4,8 @@
 \usepackage{listings}
 \usepackage{clean}
 
-\title[cc1516: Lexing \& Parsing]{SPL}
-\subtitle{\texttt{<spl> ::= <spl> <lexer> 'and' <parser>}}
+\title[cc1516: Semantic analysis]{SPLT}
+\subtitle{\texttt{<splt>~::= <spl> <parser> `,' <parser> `and' <typechecker>}}
 \author[P. Jager, M. Lubbers]{Pim Jager\inst{1}\and Mart Lubbers\inst{1}}
 \institute[Radboud University]{%
 	\inst{1}%
@@ -15,13 +15,6 @@
 \subject{Parser}
 \date{\today}
 
-\AtBeginSection[]{%
-	\begin{frame}
-		\frametitle{Table of Contents}
-		\tableofcontents[currentsection]
-	\end{frame}
-}
-
 \lstset{%
 	basicstyle=\ttfamily\footnotesize,
 	breaklines