From b81b0e9777124e2ff802a8192f05e826f98cb6b2 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Tue, 19 Jan 2021 13:22:32 +1100
Subject: [PATCH] Change size of the document to common book size

---
 chapters/2_background.tex  | 2 +-
 chapters/4_compilation.tex | 4 ----
 chapters/4_rewriting.tex   | 3 +++
 dekker_thesis.tex          | 7 +++++--
 4 files changed, 9 insertions(+), 7 deletions(-)
 delete mode 100644 chapters/4_compilation.tex
 create mode 100644 chapters/4_rewriting.tex

diff --git a/chapters/2_background.tex b/chapters/2_background.tex
index d1eda5d..a7a113a 100644
--- a/chapters/2_background.tex
+++ b/chapters/2_background.tex
@@ -1,3 +1,3 @@
 %************************************************
-\chapter{The Principles of Constraint Modelling Languages}\label{ch:background}
+\chapter{Modelling with Constraints}\label{ch:background}
 %************************************************
diff --git a/chapters/4_compilation.tex b/chapters/4_compilation.tex
deleted file mode 100644
index de36cb3..0000000
--- a/chapters/4_compilation.tex
+++ /dev/null
@@ -1,4 +0,0 @@
-%************************************************
-\chapter{Compiling Constraint Modelling Languages}\label{ch:compilation}
-%************************************************
-% TODO: I do not really like this title yet
diff --git a/chapters/4_rewriting.tex b/chapters/4_rewriting.tex
new file mode 100644
index 0000000..0f1c14d
--- /dev/null
+++ b/chapters/4_rewriting.tex
@@ -0,0 +1,3 @@
+%************************************************
+\chapter{Rewriting Constraint Modelling Languages}\label{ch:rewriting}
+%************************************************
diff --git a/dekker_thesis.tex b/dekker_thesis.tex
index 8151a7e..701d57d 100644
--- a/dekker_thesis.tex
+++ b/dekker_thesis.tex
@@ -1,5 +1,8 @@
 \nonstopmode{}
-\documentclass{scrbook}
+\documentclass[
+paper=9in:6in,
+DIV=calc,
+]{scrbook}
 
 \title{A Modern Architecture for High-Level Constraint Modelling Languages}
 \author{Jip J. Dekker}
@@ -35,7 +38,7 @@ Publications arising from this thesis include:
 \include{chapters/1_introduction}
 \include{chapters/2_background}
 \include{chapters/3_paradigms}
-\include{chapters/4_compilation}
+\include{chapters/4_rewriting}
 \include{chapters/5_half_reif}
 \include{chapters/6_incremental}