diff options
| -rw-r--r-- | chapters/background.tex | 2 | ||||
| -rw-r--r-- | lsr_env.tex | 9 | ||||
| -rw-r--r-- | 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]}] @@ -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 |