%let a4size     = False
%let thesissize = True

%if a4size
\documentclass
  [ a4paper, paper=a4, fontsize=10pt,
  , headings=normal, numbers=noenddot, headinclude, footinclude
  , listof=totoc, bibliography=totoc, index=totoc
  ]{scrbook}
\usepackage
  [ a4paper, ignorehead, ignorefoot, ignoremp, asymmetric   %% , showframe
  , left = 4.00cm, right  = 4.00cm
  , top  = 5.55cm, bottom = 5.55cm
  , headsep = 0.5cm, footskip = 1.0cm
  , marginparsep = 0.3cm, marginparwidth = 2cm
  ]{geometry}
%elif thesissize
\documentclass
  [ a4paper, paper=a4, fontsize=10pt,
  , headings=normal, numbers=noenddot, headinclude, footinclude
  , listof=totoc, bibliography=totoc, index=totoc, twoside, openright
  ]{scrbook}
\usepackage
  [ a4paper, ignorehead, ignorefoot, ignoremp, asymmetric   %% , showframe
  , twoside, pdftex
  , papersize={17cm,24cm}
  , left = 2.50cm, right  = 1.50cm
  , top  = 2.70cm, bottom = 2.70cm
  , headsep = 0.5cm, footskip = 1.0cm
  , marginparsep = 0.3cm, marginparwidth = 1.2cm
  ]{geometry}
%else
\documentclass
  [ a4paper, paper=a4, fontsize=10pt,
  , headings=normal, numbers=noenddot, headinclude, footinclude
  , listof=totoc, bibliography=totoc, index=totoc
  ]{scrbook}
\usepackage
  [ ignorehead, ignorefoot, ignoremp, asymmetric   %% , showframe
  , papersize={15.4cm,21.0cm}
  , left = 1.20cm, right  = 1.20cm
  , top  = 1.2cm, bottom = 1.2cm
  , headsep = 0.5cm, footskip = 1.0cm
  , marginparsep = 0.3cm, marginparwidth = 0.5cm
  ]{geometry}
%endif

%include lhs2TeX.fmt
%include polycode.fmt


%% OPTIONS TO CONTROL DRAFT AND FULL THESIS
%let showSpurious  = False
%let singleChapter = False
%let showPudding   = True
%let showExtra     = False


%include configuration.lhs

\title{Inference of Program Properties with Attribute Grammars, Revisited}
\author{Arie Middelkoop}

\begin{document}



%if singleChapter

%%% copy and paste a single chapter in this region

%{
%% %include preface.lhs
%% %include conclusion/chapt-cv.lhs
%% %include residuation/chap-residuation.lhs
%% %include iterative-ags/chap-iterative-ags.lhs
%% %include case-study/chap-case-study.lhs
%% %include introduction/chap-introduction.lhs
%% %include introduction/chap-outline.lhs
%% %include warren/chap-warren.lhs
%% %include breadth-first-ags/chap-breadth-first.lhs
%% %include dependent-ags/chap-dependent-ags.lhs
%% %include other-solutions/chapt-other-solutions.lhs
%% %include ordered-ags/chap-ordered-ags.lhs
%% %include conclusion/chapt-conclusion.lhs
%% %include introduction/chap-samenvatting.lhs
%include ipa/ipa.lhs
%}



%else

%%% actual chapters of the thesis

%if showPudding
%{
%include frontpage.lhs
%}
%endif

%{
%include preface.lhs
%}

\tableofcontents

%{
%include introduction/chap-introduction.lhs
%}

%{
%include introduction/chap-outline.lhs
%}

%if showSpurious
%{
%include aspect-rules/chap-aspect-rules.lhs
%}
%endif

%{
%include ordered-ags/chap-ordered-ags.lhs
%}

%{
%include warren/chap-warren.lhs
%}

%{
%include iterative-ags/chap-iterative-ags.lhs
%}

%if showExtra
%{
%include case-study/chap-case-study.lhs
%}
%endif

%{
%include breadth-first-ags/chap-breadth-first.lhs
%}

%if showSpurious
%{
%include nested-ags/chap-nested-ags.lhs
%}
%endif

%if showExtra
%{
%include residuation/chap-residuation.lhs
%}
%endif

%{
%include dependent-ags/chap-dependent-ags.lhs
%}

%if showExtra
%{
%include other-solutions/chapt-other-solutions.lhs
%}
%endif

%if showSpurious
%{
%include parser-ag/parser-ag.lhs
%}
%endif

%{
%include conclusion/chapt-conclusion.lhs
%}

%endif

\bibliographystyle{abbrvnat}
\bibliography{thesis}

%if not singleChapter
%{
%include introduction/chap-samenvatting.lhs
%}

%{
%include conclusion/chapt-cv.lhs
%}

%{
%include ipa/ipa.lhs
%}

%endif

\cleardoublepage

\end{document}