From 493e2fc04b346e0298bf6cfedf994bc48210a9e3 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 6 May 2022 15:58:16 +0100
Subject: Fix last reference issues

---
 chapters/background.tex | 2 +-
 lsr_env.tex             | 9 ++++-----
 title.tex               | 1 +
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/chapters/background.tex b/chapters/background.tex
index 7ce2064..7f8539c 100644
--- a/chapters/background.tex
+++ b/chapters/background.tex
@@ -241,7 +241,7 @@ as tokens are used to start the next operations.  However, Occam is timed by des
 execute assignments sequentially.  To take advantage of the parallel nature of hardware, Occam uses
 explicit parallel constructs with channels to share state.  Handel-C, a version of Occam with many
 more features such as memory and pointers, has also been used to prove HLS correct, and is described
-further in Section~\ref{sec:wire-to-wire}.
+further in \in{Section}[sec:wire-to-wire].
 
 \section{Mechanised: Compiler Proofs}
 
diff --git a/lsr_env.tex b/lsr_env.tex
index 5073992..b144119 100644
--- a/lsr_env.tex
+++ b/lsr_env.tex
@@ -16,16 +16,15 @@
     color=darkcyan,
     contrastcolor=darkcyan,
     openaction=ToggleViewer,
-    focus=width,
+    focus=height,
     click=yes,
     style=\rm,
 ]
 
 \placebookmarks[chapter,section,subsection]
+\setupinteractionscreen[option=bookmark]
 
 \usecolors[crayola]
-%\placebookmarks[chapter,section,subsection,subsubsection][chapter,section]
-%\setupinteractionscreen[option=bookmark]
 
 % ==========================================================================
 % Layout
@@ -59,6 +58,8 @@
   backspace=3cm,
 ]
 
+\define[1]\marginhead{\margintitle[location=right]{\switchtobodyfont[30pt] #1}}
+
 \setuphead[chapter][
   style={\bfd\ss},
   header=empty,
@@ -141,8 +142,6 @@
 \defineoverlay[chapterbackground][\useMPgraphic{chapterbackground}]
 \setupbackgrounds[page][background=chapterbackground]
 
-\define[1]\marginhead{\margintitle[location=right]{\switchtobodyfont[30pt] #1}}
-
 \setuphead[section][style={\bfb\ss}]
 \setuphead[subsection][style={\bfa\ss}]
 \setuphead[subsubsection][style={\bf\ss},after={\blank[0.2cm]}]
diff --git a/title.tex b/title.tex
index 0c7bcc0..104d621 100644
--- a/title.tex
+++ b/title.tex
@@ -27,6 +27,7 @@
     \setupinterlinespace[3.8ex]
     \starttabulate[format={|l|l|}]
       \NC \bold{Supervisor} \NC John Wickerson \NC \NR
+      \NC \bold{Examiner}   \NC George A. Constantinides \NC \NR
       \NC \bold{CID}        \NC 01062783       \NC \NR
     \stoptabulate
   \stopalignment
-- 
cgit