\documentclass[a4paper,twoside,openright]{report} %opmaakdingen: \usepackage{selections} \usepackage{listings} \usepackage[pdfstartview=FitH]{hyperref} % \usepackage{a4wide} \usepackage{mathpazo} \usepackage{xcolor} \usepackage[english]{babel} \usepackage{graphicx} \usepackage{wrapfig} \usepackage{amsmath} \usepackage{parskip} \newcommand{\todo}[1]{{\sc \textbf{To do}:} #1} %include polycode.fmt %include selections.fmt %include forall.fmt %subst space="\linebreak[1]\;" \setcounter{tocdepth}{1} \begin{document} \begin{titlepage} \end{titlepage} \begin{titlepage} % \maketitle \begin{center} \text{\sc \LARGE \textbf{Generic Selections of Subexpressions}}\\[1.5cm] \text{\Large Martijn van Steenbergen}\\[0.5cm] \text{\Large MSc Thesis}\\[0.5cm] \large \today\\[0.5cm] \text{INF/SCR-09-61}\\[0.5cm] \vfill \includegraphics[width=\textwidth]{words} % \begin{flushright}{\tiny Created with wordle.net\hspace{1cm}~}\end{flushright} \vfill \includegraphics[scale=1.1]{uulogo}\\[1cm] \end{center} \begin{minipage}{0.7\textwidth} \begin{flushleft} \large Center for Software Technology\\ Dept. of Information and Computing Sciences\\ Utrecht University\\ Utrecht, the Netherlands \end{flushleft} \end{minipage} \begin{minipage}{0.4\textwidth} \begin{flushright} \large \emph{Daily Supervisor:} \\ prof. dr. J.T. Jeuring \\ \emph{Second Supervisor:} \\ ir. Jos\'{e} Pedro Magalh\~{a}es \end{flushright} \end{minipage} \end{titlepage} \tableofcontents %include ack.lhs %include intro.lhs %include background.lhs %include bounds.lhs %include grotetrapx.lhs %include annotype.lhs %include multirec.lhs %include future.lhs %include related.lhs %include conclusion.lhs \appendix %include zipperfix.lhs \small \bibliographystyle{alpha} \bibliography{selections} \end{document}