Add labels to all chapters.

diff --git a/Chapters/Future.tex b/Chapters/Future.tex
index 10a883ae145bbbfbfd8ed432430caa2f8e0f44cf..420771f0f862a964e456ea5cea7a98f96a7fad59 100644 (file)
--- a/Chapters/Future.tex
+++ b/Chapters/Future.tex
@@ -1,4 +1,4 @@
-\chapter{Future work}
+\chapter[chap:future]{Future work}

 \section{Improved notation for hierarchical state}
 The hierarchic state model requires quite some boilerplate code for unpacking
 and distributing the input state and collecting and repacking the output
 \section{Improved notation for hierarchical state}
 The hierarchic state model requires quite some boilerplate code for unpacking
 and distributing the input state and collecting and repacking the output

diff --git a/Chapters/HardwareDescription.tex b/Chapters/HardwareDescription.tex
index a0cc1c5a625340c7caf2cb6c4e2b7f421612bf6b..c9005967fd128fadfed7f712227d3939010d37f7 100644 (file)
--- a/Chapters/HardwareDescription.tex
+++ b/Chapters/HardwareDescription.tex
@@ -1,4 +1,4 @@
-\chapter{Hardware description}
+\chapter[chap:description]{Hardware description}

   This chapter will provide an overview of the hardware description language
   that was created and the issues that have arisen in the process. It will
   focus on the issues of the language, not the implementation.
   This chapter will provide an overview of the hardware description language
   that was created and the issues that have arisen in the process. It will
   focus on the issues of the language, not the implementation.

diff --git a/Chapters/Introduction.tex b/Chapters/Introduction.tex
index 69fb7e403c0dea60697a32b2972add6a7c42aa61..8ffba572677d57ee3e8fd041239b72e661822fe4 100644 (file)
--- a/Chapters/Introduction.tex
+++ b/Chapters/Introduction.tex
@@ -1,4 +1,4 @@
-\chapter{Introduction}
+\chapter[chap:introduction]{Introduction}

 This thesis describes the result and process of my work during my
 Master's assignment. In these pages, I will try to introduce the world
 of hardware descriptions, the world of functional languages and
 This thesis describes the result and process of my work during my
 Master's assignment. In these pages, I will try to introduce the world
 of hardware descriptions, the world of functional languages and

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 68d48d4eeebf1511647d7939726d16dfa856cf60..c1c6268770ceb7bfab66fff709d598b29a7cf666 100644 (file)
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -1,4 +1,4 @@
-\chapter{Normalization}
+\chapter[chap:normalization]{Normalization}

 
 % A helper to print a single example in the half the page width. The example
 % text should be in a buffer whose name is given in an argument.
 
 % A helper to print a single example in the half the page width. The example
 % text should be in a buffer whose name is given in an argument.

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index 945e920c33a5956bb611a1eb69635124fa6b19d0..9e6893acccee0ff3d319545c78064c8a4365d5ae 100644 (file)
--- a/Chapters/Prototype.tex
+++ b/Chapters/Prototype.tex
@@ -1,4 +1,4 @@
-\chapter{Prototype}
+\chapter[chap:prototype]{Prototype}

   An important step in this research is the creation of a prototype compiler.
   Having this prototype allows us to apply the ideas from the previous chapter
   to actual hardware descriptions and evaluate their usefulness. Having a
   An important step in this research is the creation of a prototype compiler.
   Having this prototype allows us to apply the ideas from the previous chapter
   to actual hardware descriptions and evaluate their usefulness. Having a

diff --git a/Chapters/State.tex b/Chapters/State.tex
index 0160e55f24f90853c3448a52024a46ecb36e2934..2cffa218533d46e894a2d1e6990b1bf24633712b 100644 (file)
--- a/Chapters/State.tex
+++ b/Chapters/State.tex
@@ -1,4 +1,4 @@
-\chapter{State}
+\chapter[chap:state]{State}

   \section{Introduction}
     Provide some examples
 
   \section{Introduction}
     Provide some examples