morewrites, backrefs, structure

diff --git a/.gitignore b/.gitignore
index 6b8c4ca..e558c33 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -28,6 +28,8 @@
 *.tmb
 *.toc
 *.vrb
+*.mw
+*.synctex.gz
 
 # documents
 *.dvi

diff --git a/domain_specific_languages.tex b/domain_specific_languages.tex
index 29749f2..5bd809b 100644 (file)
--- a/domain_specific_languages.tex
+++ b/domain_specific_languages.tex
@@ -1,7 +1,7 @@
 \chapter{Tagless final embedding}
 Dit kan ook een section zijn in de volgende chapter, maar toch lijkt het mij nuttig.
 
-\chapter{Class based deed embedding}
+\chapter{Class based deep embedding}
 Pearl
 
 \chapter{The \gls{MTASK} language}

diff --git a/glossaries.tex b/glossaries.tex
index 35dc916..20cec65 100644 (file)
--- a/glossaries.tex
+++ b/glossaries.tex
@@ -2,7 +2,7 @@
 \newacronym{IOT}{IoT}{internet of things}
 \newacronym{DSL}{DSL}{domain specific language}
 \newacronym{EDSL}{eDSL}{embedded \acrshort{DSL}}
-\newacronym{TOP}{TOP}{task oriented programming}
+\newacronym{TOP}{TOP}{task-oriented programming}
 
 % Glossaries
 \newglossaryentry{MTASK}{%

diff --git a/internet_of_things.tex b/internet_of_things.tex
index fdc976c..5cb6601 100644 (file)
--- a/internet_of_things.tex
+++ b/internet_of_things.tex
@@ -4,4 +4,4 @@ IOT2020 paper met Glasgow.
 TOPLAS paper met Glasgow.
 
 \chapter{Modelling naval scenaries using \acrshort{TOP} and \acrshort{IOT}}
-Arjan's werk NLARMS?
+Arjan's werk {NLARMS}?

diff --git a/introduction.tex b/introduction.tex
index 26973d0..0c025bc 100644 (file)
--- a/introduction.tex
+++ b/introduction.tex
@@ -8,11 +8,14 @@ Functional programming is \ldots
 \subsection{\Acrlong{TOP}}
 \Gls{TOP} is \ldots
 
+\gls{ITASK} uses generic programming\index{generic programming}
+
 \subsection{\Acrlongpl{DSL}}
 \Glspl{DSL} are \ldots
 
 \section{Thesis Outline}
 
+\todo{reference correct chapters}
 Chapters 0 and 0 are based on the paper \emph{A Task-Based \acrshort{DSL} for Microcomputers}~\cite{koopman_task-based_2018}.
 
 Chapters 0 and 0 are based on the Master's thesis and paper \emph{\glst{TOP} and the \glst{IOT}}~\cite{lubbers_task_2017,lubbers_task_2018}.

diff --git a/latexmkrc b/latexmkrc
index 60fe43e..4325ab2 100644 (file)
--- a/latexmkrc
+++ b/latexmkrc
@@ -34,3 +34,5 @@ $bibtex_use = 2;
 $clean_ext .= ' %R.ist %R.xdy';
 
 $show_time = 1;
+
+$pdf_mode = 1;

diff --git a/preamble.tex b/preamble.tex
index 49722c2..f842e92 100644 (file)
--- a/preamble.tex
+++ b/preamble.tex
@@ -14,6 +14,12 @@
 % Font encoding
 \usepackage[T1]{fontenc}
 
+% Less bad boxes
+\usepackage{microtype}
+
+% No more room for a new \write
+\usepackage{morewrites}
+
 % Internationalisation
 \usepackage[british]{babel}
 
@@ -22,16 +28,16 @@
 \usepackage[titletoc]{appendix}
 
 % Hyperlinks
-\usepackage{hyperref}
+%\usepackage[pagebackref]{hyperref}
+\usepackage[pagebackref]{hyperref}
 % Setup pdf parameters: TODO
 \hypersetup{%
-       pdftitle={},
-       pdfauthor={M. Lubbers},
+       pdftitle={\mytitle},
+       pdfauthor={\myauthor},
        pdfsubject={},
 %      pdfcreator={},
 %      pdfproducer={},
-       pdfkeywords={},
-       pagebackref,
+       pdfkeywords={task oriented programming, functional programming, domain specific languages, internet of things},
        hidelinks,
 }
 

diff --git a/research_data_management.tex b/research_data_management.tex
index f73175a..c428273 100644 (file)
--- a/research_data_management.tex
+++ b/research_data_management.tex
@@ -1,6 +1,7 @@
-This thesis research has been carried out under the research data management policy of the Institute for Computing and Information Science of Radboud University, The Netherlands\footnote{\href{https://www.ru.nl/icis/research-data-management/}{ru.nl/icis/research-data-management/}, last accessed \formatdate{20}{1}{2020}.}.
+This thesis research has been carried out under the research data management policy of the Institute for Computing and Information Science of Radboud University, the Netherlands\footnote{\href{https://www.ru.nl/icis/research-data-management/}{ru.nl/icis/research-data-management/}, last accessed \formatdate{20}{1}{2020}.}.
 
 The following research datasets have been produced during this PhD research:
+\todo{reference correct chapters}
 \begin{itemize}
        \item Chapter 0: Koopman, dr.\ P.\ (Radboud University); Lubbers, M.\ (Radboud University); Plasmeijer, prof.~dr.~ir.\ R.\ (Radboud University) (2020): Source code for the mTask language. DANS.\ \href{https://doi.org/10.17026/dans-xx4-8zs9}{10.17026/dans-xx4-8zs9}
        \item Chapter 0: Lubbers, M.\ (Radboud University); Koopman, dr.\ P.\ (Radboud University); Plasmeijer, prof.~dr.~ir.\ R.\ (Radboud University) (2020): Source code for a simplified mTask language integrated with the iTask system. DANS.\ \href{https://doi.org/10.17026/dans-xv6-fvxd}{10.17026/dans-xv6-fvxd}

diff --git a/thesis.tex b/thesis.tex
index 3896bb4..77ba461 100644 (file)
--- a/thesis.tex
+++ b/thesis.tex
@@ -1,5 +1,9 @@
 \documentclass[twoside,10pt]{book}
 
+\def\mytitle{Big Things for Tiny Computers}
+\def\mysubtitle{Task Oriented Programming for the Internet of Things}
+\def\myauthor{Mart Lubbers}
+
 \input{preamble}
 
 % Just for the blind text, can go when it's finished
@@ -15,8 +19,8 @@
 }
 
 % Document info
-\title{Some title}
-\author{Some author}
+\title{\mytitle{} --- \mysubtitle{}}
+\author{Mart Lubbers}
 
 \date{\formatdate{1}{6}{2023}}
 
@@ -73,7 +77,6 @@
 \input{an_appendix}
 
 \backmatter%
-\stopthumb% chktex 9
 \addtitlethumb{Backmatter}{}{white}{gray}{pagesLTS.0}
 
 % Bibliography
@@ -137,4 +140,4 @@
 \label{chp:index}
 \printindex
 
-\end{document} % chktex 10
+\end{document}

diff --git a/titlepage.tex b/titlepage.tex
index dc0ae9f..23b9eca 100644 (file)
--- a/titlepage.tex
+++ b/titlepage.tex
@@ -3,11 +3,11 @@
        \begin{center}
            \vspace*{3.5cm}
 
-               \LARGE{\textsc{Task Oriented Programming and the Internet of Things}}
+               \LARGE{\textsc{\mytitle}}
 
            \vspace*{15pt}
 
-               \large{\textsc{Subtitle}}
+               \large{\textsc{\mysubtitle}}
 
            \vspace*{5pt}
 
@@ -37,7 +37,7 @@
 
            \vspace{0.5cm}
 
-           Mart Lubbers\\
+           \myauthor\\
 
            geboren op 27 mei 1992 te Oldenzaal, Nederland
        \end{center}