repositories
/
cc1516.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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}
\usepackage{listings}
\usepackage{clean}
-\title[cc1516:
Lexing \& Parsing]{SPL
}
-\subtitle{\texttt{<spl
> ::= <spl> <lexer> 'and' <pars
er>}}
+\title[cc1516:
Semantic analysis]{SPLT
}
+\subtitle{\texttt{<spl
t>~::= <spl> <parser> `,' <parser> `and' <typecheck
er>}}
\author[P. Jager, M. Lubbers]{Pim Jager\inst{1}\and Mart Lubbers\inst{1}}
\institute[Radboud University]{%
\inst{1}%
\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}
\subject{Parser}
\date{\today}
-\AtBeginSection[]{%
- \begin{frame}
- \frametitle{Table of Contents}
- \tableofcontents[currentsection]
- \end{frame}
-}
-
\lstset{%
basicstyle=\ttfamily\footnotesize,
breaklines
\lstset{%
basicstyle=\ttfamily\footnotesize,
breaklines