Newer
Older
\documentclass[10pt]{article}
\usepackage{lmodern}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\newif\ifslow\slowfalse %\slowtrue
\ifslow
\usepackage[english]{babel}
\usepackage[babel=true]{microtype}
\fi
\usepackage[top=1in, bottom=1in, left=1.25in, right=1.25in]{geometry}
\usepackage[backend=biber]{biblatex}
\bibliography{bib}
\input{setup}
\begin{document}
\title{\bfseries The Iris Documentation}
%FIXME any better way to do this?
\author{%
Ralf Jung \\ MPI-SWS \\ jung@mpi-sws.org \and
Robbert Krebbers \\ Aarhus University \\ robbert@cs.au.dk \and
Lars Birkedal \\ Aarhus University \\ birkedal@cs.au.dk \and
Derek Dreyer \\ MPI-SWS \\ dreyer@mpi-sws.org}
\maketitle
\thispagestyle{empty}
%\clearpage
\tableofcontents
\input{algebra}
\input{constructions}
% temporarily disabled, to generate the Iris 2.0 appendix
%\endgroup\clearpage\begingroup
%\input{logic}
%\endgroup\clearpage\begingroup
%\input{model}
%\endgroup\clearpage\begingroup
%\input{derived}
%\endgroup\clearpage\begingroup
\end{document}