deliverables/p2/pre.tex

   1 \documentclass{beamer}
   2
   3 \usepackage{xcolor}
   4 \usepackage{listings}
   5 \usepackage{clean}
   6
   7 \title[cc1516: Semantic analysis]{SPLT}
   8 \subtitle{\texttt{<splt>~::= <spl> <parser> `,' <parser> `and' <typechecker>}}
   9 \author[P. Jager, M. Lubbers]{Pim Jager\inst{1}\and Mart Lubbers\inst{1}}
  10 \institute[Radboud University]{%
  11         \inst{1}%
  12         Computer Science: Software Science\\
  13         Radboud University
  14 }
  15 \subject{Parser}
  16 \date{\today}
  17
  18 \lstset{%
  19         basicstyle=\ttfamily\footnotesize,
  20         breaklines
  21 }
  22
  23 \usetheme{Warsaw}
  24 \usecolortheme{beaver}