From 47bc39813fb354baaa91284283138ebcb2a5e4bb Mon Sep 17 00:00:00 2001
From: Joshua Moerman <lakseru@gmail.com>
Date: Tue, 23 Oct 2018 13:13:48 +0200
Subject: [PATCH] Nummertjes

---
 content.tex              |  4 ++--
 content/introduction.tex |  4 +---
 environment.tex          | 17 +----------------
 environment/headers.tex  | 35 +++++++++++++++++++++++++++++++++++
 environment/paper.tex    | 18 +++++++++---------
 5 files changed, 48 insertions(+), 30 deletions(-)
 create mode 100644 environment/headers.tex

diff --git a/content.tex b/content.tex
index 7a0d7e0..3d7e1bd 100644
--- a/content.tex
+++ b/content.tex
@@ -12,13 +12,13 @@
 
 \component content/introduction
 
-\startpart[title={Testing}]
+\startpart[title={Testing Techniques}]
 \component content/test-methods
 \component content/applying-automata-learning
 \component content/minimal-separating-sequences
 \stoppart
 
-\startpart[title={Nominal Automata}]
+\startpart[title={Nominal Techniques}]
 \component content/learning-nominal-automata
 \component content/ordered-nominal-sets
 \chapter{Succinct Nominal Automata?}
diff --git a/content/introduction.tex b/content/introduction.tex
index d6e6b68..f6d1d6d 100644
--- a/content/introduction.tex
+++ b/content/introduction.tex
@@ -2,14 +2,12 @@
 \startcomponent introduction
 
 \startchapter
-  [title={Pakkende titel},
+  [title={Nominal Techniques and Testing Techniques for Automata Learning},
    reference=chap:introduction]
 
 \startsection
   [title={Learning and Testing}]
 
-???
-
 First off, let me sketch the problem.
 There is some fixed, but unkown to us, language $\lang \subseteq \Sigma^{*}$.
 This can be a language of natural speech, a property in model checking, a set of traces from a protocol, etc.
diff --git a/environment.tex b/environment.tex
index 7cfc229..3f70962 100644
--- a/environment.tex
+++ b/environment.tex
@@ -9,6 +9,7 @@
 
 \environment bib
 \environment font
+\environment headers
 \environment notation
 \environment paper
 \environment pdf
@@ -19,24 +20,8 @@
 \setupindenting[yes, medium]
 \setupwhitespace[medium]
 
-\defineenumeration[definition][text=Definition]
-\defineenumeration[remark][text=Remark]
-\defineenumeration[example][text=Example]
-\defineenumeration[lemma][text=Lemma]
-\defineenumeration[proposition][text=Proposition]
-\defineenumeration[theorem][text=Theorem]
-\defineenumeration[corollary][text=Corollary]
-\setupenumeration[definition,remark,example,lemma,proposition,theorem,corollary][alternative=serried,width=fit,right=.]
-
-\define\QED{\hfill$\square$}
-\definestartstop[proof][before={{\it Proof. }}, after={\QED}]
-\definestartstop[proofnoqed][before={{\it Proof. }}, after={}]
-
-
 \definefloat[algorithm][algorithms]
 
-\setupcombinedlist[content][list={chapter,section}]
-
 \definestartstop[abstract]
   [before={\midaligned{\bf Abstract}\startnarrower[2*middle]},
    after={\stopnarrower\blank[big]}]
diff --git a/environment/headers.tex b/environment/headers.tex
new file mode 100644
index 0000000..011c557
--- /dev/null
+++ b/environment/headers.tex
@@ -0,0 +1,35 @@
+\startenvironment headers
+
+% TOC related
+\setupcombinedlist[content][list={part,chapter,section}]
+
+% How numbers are shown
+\setuphead[part][placehead=yes, align=middle, sectionstarter=Part , sectionstopper=:]
+\setuphead[chapter][sectionsegments=chapter]
+\setuphead[section][sectionsegments=chapter:section]
+\setuphead[subsection][sectionsegments=section:subsection]
+
+
+% een teller voor alles, prefix is chapter
+\definecounter[lemmata][way=bychapter,prefixsegments=chapter]
+
+\defineenumeration[definition][text=Definition]
+\defineenumeration[remark][text=Remark]
+\defineenumeration[example][text=Example]
+\defineenumeration[lemma][text=Lemma]
+\defineenumeration[proposition][text=Proposition]
+\defineenumeration[theorem][text=Theorem]
+\defineenumeration[corollary][text=Corollary]
+\setupenumeration[definition,remark,example,lemma,proposition,theorem,corollary]
+  [alternative=serried, width=fit, right=., counter=lemmata]
+
+% Don't reset sections in new part
+\definestructureresetset[default][1,0,1][1] % reset part, not chapter, section
+\setuphead[sectionresetset=default]
+
+\define\QED{\hfill$\square$}
+\definestartstop[proof][before={{\it Proof. }}, after={\QED}]
+\definestartstop[proofnoqed][before={{\it Proof. }}, after={}]
+
+
+\stopenvironment
\ No newline at end of file
diff --git a/environment/paper.tex b/environment/paper.tex
index f2ea1c5..6ae7cd9 100644
--- a/environment/paper.tex
+++ b/environment/paper.tex
@@ -9,27 +9,27 @@
 \setuplayout[location={middle,middle}]
 \setuplayout
   [width=130mm,
-   height=195mm,
+   height=215mm,
    backspace=20mm,
-   topspace=25mm,
-   header=0mm, % nodig?
-   footer=0mm]
+   topspace=15mm,
+   header=10mm, % nodig?
+   footer=10mm]
 
 % Snijranden
 \setuplayout[marking=on]
 
 % Assymetrisch
-\setuppagenumbering[alternative=doublesided]
+\setuppagenumbering[state=start, style=normal, location={header, right}, alternative=doublesided]
 
 \startmode[draft]
 \setuppapersize[A5]
 \setuplayout
   [width=130mm,
-   height=195mm,
+   height=205mm,
    backspace=12mm,
-   topspace=8mm,
-   header=0mm, % nodig?
-   footer=0mm]
+   topspace=3mm,
+   header=5mm, % nodig?
+   footer=5mm]
 \stopmode
 
 \stopenvironment