oops, eerste presentatie weggegooid

[cc1516.git] / deliverables / p2 / pre.tex

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 (file)
--- 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