setup thesis template

15 files changed, 1088 insertions, 0 deletions

diff --git a/.envrc b/.envrc
new file mode 100644
index 0000000..3550a30
--- /dev/null
+++ b/.envrc
@@ -0,0 +1 @@
+use flake
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..030c854
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,8 @@
+.direnv
+*.aux
+*.bbl
+*.blg
+*.fdb_latexmk
+*.fls
+*.log
+*.toc
diff --git a/Justfile b/Justfile
new file mode 100644
index 0000000..6a36f5f
--- /dev/null
+++ b/Justfile
@@ -0,0 +1,16 @@
+default: build
+
+build: thesis
+clean: thesis-clean
+
+alias t := thesis
+thesis:
+  cd thesis/; latexmk -pdf
+
+alias tw := thesis-watch
+thesis-watch:
+  cd thesis/; latexmk -pdf -pvc
+
+alias tc := thesis-clean
+thesis-clean:
+  cd thesis/; latexmk -c
\ No newline at end of file
diff --git a/flake.lock b/flake.lock
new file mode 100644
index 0000000..7c39cbb
--- /dev/null
+++ b/flake.lock
@@ -0,0 +1,27 @@
+{
+  "nodes": {
+    "nixpkgs": {
+      "locked": {
+        "lastModified": 1695559356,
+        "narHash": "sha256-kXZ1pUoImD9OEbPCwpTz4tHsNTr4CIyIfXb3ocuR8sI=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "261abe8a44a7e8392598d038d2e01f7b33cf26d0",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixos-23.05",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "root": {
+      "inputs": {
+        "nixpkgs": "nixpkgs"
+      }
+    }
+  },
+  "root": "root",
+  "version": 7
+}
diff --git a/flake.nix b/flake.nix
new file mode 100644
index 0000000..0fd39f0
--- /dev/null
+++ b/flake.nix
@@ -0,0 +1,50 @@
+{
+  description = "Aria Shrimpton dissertation";
+  inputs = {
+    nixpkgs.url = github:NixOS/nixpkgs/nixos-23.05;
+  };
+  outputs = {
+    self,
+    nixpkgs,
+  }: let
+    system = "x86_64-linux";
+    pkgs = nixpkgs.legacyPackages.${system};
+    tex = pkgs.texlive.combine {
+      inherit
+        (pkgs.texlive)
+        scheme-small
+        microtype
+        sectsty
+        printlen
+        psnfss
+        helvetic
+        courier
+        latex-bin
+        latexmk
+        ;
+    };
+  in rec {
+    devShells.${system}.default = pkgs.mkShell {
+      buildInputs = [tex pkgs.just];
+    };
+    packages.${system} = {
+      default = pkgs.stdenvNoCC.mkDerivation rec {
+        name = "thesis";
+        src = ./thesis;
+        buildInputs = [pkgs.coreutils tex];
+        phases = ["unpackPhase" "buildPhase" "installPhase"];
+        buildPhase = ''
+          export PATH="${pkgs.lib.makeBinPath buildInputs}";
+          mkdir -p .cache/texmf-var
+          env TEXMFHOME=.cache TEXMFVAR=.cache/texmf-var \
+            latexmk -interaction=nonstopmode -pdf -lualatex \
+            document.tex
+        '';
+        installPhase = ''
+          mkdir -p $out
+          cp document.pdf $out/
+        '';
+      };
+    };
+  };
+}
diff --git a/thesis/.gitignore b/thesis/.gitignore
new file mode 100644
index 0000000..9bce7b7
--- /dev/null
+++ b/thesis/.gitignore
@@ -0,0 +1 @@
+main.pdf
\ No newline at end of file
diff --git a/thesis/biblio.bib b/thesis/biblio.bib
new file mode 100644
index 0000000..60e0903
--- /dev/null
+++ b/thesis/biblio.bib
@@ -0,0 +1,17 @@
+@Book{P2,
+  author     = "Chen-Chung Chang and H. Jerome Keisler",
+  title      = "Model Theory",
+  publisher  = "North-Holland",
+  edition   = {Third},
+  year       = 1990,
+}
+
+@inproceedings{P1,
+  author    = {Hiroki Arimura},
+  title     = {Learning Acyclic First-Order Horn Sentences from Entailment},
+  booktitle = {Proc. of the 8th Intl. Conf. on Algorithmic Learning Theory, ALT '97},
+  year      = {1997},
+  pages     = {432-445},
+  ee        = {http://dx.doi.org/10.1007/3-540-63577-7_59},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}
diff --git a/thesis/eushield-normal.pdf b/thesis/eushield-normal.pdf
new file mode 100644
index 0000000..3a17e1d
--- /dev/null
+++ b/thesis/eushield-normal.pdf
diff --git a/thesis/eushield.sty b/thesis/eushield.sty
new file mode 100644
index 0000000..de586aa
--- /dev/null
+++ b/thesis/eushield.sty
@@ -0,0 +1,54 @@
+%% eushield.sty -- commands to manipulate the inclusion of the EU shield
+%% graphic.
+%% 
+%% Version 1.0 [2000/11/23] -- initial version
+%% Version 1.1 [2006/08/28] -- fixed PDF detection for teTeX 3
+%% 
+%% Mary Ellen Foster <M.E.Foster@ed.ac.uk>
+
+\def\filedate{2006/08/28}
+\def\fileversion{1.1}
+\ProvidesPackage{eushield}[\filedate\ v\fileversion\ 
+    Commands for including the EU shield graphic]
+
+\RequirePackage{graphics}
+\RequirePackage{ifpdf}
+
+%% Possible values for shieldtype:
+%% 0: regular monochrome
+%% 1: monochrome with no background lines
+%% 2: reverse monochrome
+%% 3: two colours: navy and red
+%% 4: full colour
+\newcommand{\eushield}{}
+\newcommand{\@endspecial}{}
+
+\newcommand{\shieldtype}[1]{%
+    \def\@shieldtype{#1}
+    \ifpdf
+        \ifnum\@shieldtype=0
+            \renewcommand{\eushield}{eushield-normal}
+        \else\ifnum\@shieldtype=1
+            \renewcommand{\eushield}{eushield-noback}
+        \else\ifnum\@shieldtype=2
+            \renewcommand{\eushield}{eushield-reversed}
+        \else\ifnum\@shieldtype=3
+            \renewcommand{\eushield}{eushield-twocolour}
+        \else\ifnum\@shieldtype=4
+            \renewcommand{\eushield}{eushield-fullcolour}
+        \fi\fi\fi\fi\fi
+    \else
+        \renewcommand{\eushield}{eushield}
+        \renewcommand{\@endspecial}{%
+            \special{!/crestversion #1 def}}
+    \fi
+}
+\shieldtype{0}
+
+\newcommand{\includeshield}{%
+    \includegraphics{\eushield}}
+
+\ifpdf
+\else
+    \AtBeginDocument{\@endspecial}
+\fi
diff --git a/thesis/infthesis.cls b/thesis/infthesis.cls
new file mode 100644
index 0000000..57e660e
--- /dev/null
+++ b/thesis/infthesis.cls
@@ -0,0 +1,698 @@
+%%
+%%    File : infthesis.cls    (LaTeX2e class file)
+%%  Author : Version 3.8 by Sharon Goldwater <sgwater@inf.ed.ac.uk>
+%%           Version 3.7 updated by Jennifer Oxley <joxley@inf.ed.ac.uk>
+%%           Version 3.6 by Charles Sutton <csutton@inf.ed.ac.uk>  
+%%           Version 3.5 by Vasilis Vasaitis <v.vasaitis@sms.ed.ac.uk>
+%%           Version 3.4.1 updated by Tiejun Ma (t.j.ma@ed.ac.uk)
+%%           Version 3.0 by Mary Ellen Foster <mef@cogsci.ed.ac.uk>
+%%           Original version by Martin Reddy (mxr@dcs.ed.ac.uk) 
+%% Version : 3.8
+%% Updates : 1.0 [9/11/95] - initial release.
+%%           1.1 [24/4/96] - fixed bibliography bug caused by new report.cls 
+%%           1.2 [13/5/96] - \dedication & \thesiscaption[]
+%%           1.3 [28/5/96] - abbrevs, parskip, minitoc fix, \headfootstyle
+%%           1.4 [12/7/96] - appendices okay now, \cleardoublepage's added
+%%           1.45 [6/8/96] - added space between chapter & numb on toc
+%%           1.5 [13/8/96] - tailmargin was too small by 0.7cm!!
+%%           2.0 [20/9/96] - \SetPrinter for margin settings (default=hp24)
+%%                           no header, more abbreviations
+%%           3.0 [16/10/2000] - Changed name and some formatting to become
+%%                          "infthesis" instead
+%%           3.1 [20/10/2000] - Added sans-serif running heads
+%%                              Added pslatex by default (unless "cmfonts")
+%%                              Added back in the code to create empty pages
+%%                                  on cleardoublepage (from titlesec.sty)
+%%           3.2 [13/11/2000] - Changed name of font-setting commands
+%%                            - Changed name of shield input file
+%%           3.3 [23/11/2000] - Use the new and improved shield graphic
+%%           3.4 [23/11/2000] - Political changes... also fixed a problem
+%%                              with the margins on two-sided documents.
+%%           3.4.1[09/03/2006] -add [a4paper] parameter for geometry package
+%%           3.5 [02/02/2011] - fix double-sided margins with modern
+%%                              versions of the geometry package
+%%           3.6 [15/03/2012] - addition to support the MInf degree
+%%           3.7 [07/02/2013] - fix MInf definition
+%%           3.8 [06/06/2019] - added support for MSc degrees:
+%%                                adi, datasci, di, cyber
+
+
+%% This file contains a class definition, infthesis, for the LaTeX2e
+%% system which defines the layout of theses which are submitted in
+%% the School of Informatics at the University of Edinburgh.
+%%
+%% For information on this class, please refer to "texdoc infthesis"
+%%
+
+\NeedsTeXFormat{LaTeX2e}[1994/12/01]
+\ProvidesClass{infthesis}[2013/02/07 v3.7 School of Informatics Thesis Class]
+
+
+%%
+%% --- Initial Code ---
+%%
+
+%% Required packages:
+%% - ifthen for conditionals
+%% - geometry for margin-setting
+%% - graphics for including the (scaled) logo on the front page
+%% - xspace if abbreviations are used
+\usepackage[paper=a4paper]{geometry}
+\RequirePackage{ifthen,%  
+    graphics,%
+    xspace,
+    eushield}
+
+
+%%%% The following packages are also used but are included further on rather
+%%%% than here, either because their options depend on the class options or
+%%%% because they only need to be loaded in certain cases.
+%% - parskip for alternate formatting of paragraphs
+%% - tocbibind to put LOF and LOT into table of contents
+%% - sectsty to change format of section headers
+%% - caption to change format of captions
+%% - pslatex to set default fonts (if they don't specify notimes)
+
+%% Default values for various fields
+\newcommand{\@degreetext}{}
+\newcommand{\@infschool}{School of Informatics}
+\newcommand{\@university}{University of Edinburgh}
+\newcommand{\@chapteralignment}{\centering}
+\newcommand{\@chapterfont}{}
+\newcommand{\@thesisside}{}
+\newcommand{\@thesisopen}{}
+\newcommand{\@thesispoints}{}
+\newcommand{\@draftmessage}{}
+
+%% Lots of boolean things to keep track of options
+\newboolean{draftthesis}
+\newboolean{usequotemarks}
+\newboolean{usesinglespacing}
+\newboolean{usedoublespacing}
+\newboolean{usefullspacing}
+\newboolean{usedeptreport}
+\newboolean{useabbrevs}
+\newboolean{sansheadings}
+\newboolean{ltoc}
+\newboolean{romanpre}
+\newboolean{logo}
+\newboolean{frontabs}
+\newboolean{strict}
+\newboolean{timesfonts}
+
+%% Choose the monochrome crest for the front page (if crests used)
+\shieldtype{0}
+
+%%
+%%  --- Options ---
+%%
+%%  Current options: phd, mphil, msc, mscres, bsc
+%%                   deptreport
+%%                   draft
+%%                   usequotes
+%%                   singlespacing, doublespacing, fullspacing
+%%                   cent{er,re}chapter, leftchapter, rightchapter,
+%%                   + all report.cls options
+%%
+
+%% Commands to set course and project (for 4th year -- too many possibilities
+%% to use options).
+\let\@course\@empty
+\newcommand{\course}[1]{\gdef\@course{#1}}
+\newcommand{\@project}{Fourth Year Project Report}
+\newcommand{\project}[1]{\gdef\@project{#1}}
+
+%% Options to specify school and/or degree
+% MSc degree: default is none specified
+\let\@mscdegree\@empty
+\DeclareOption{adi}{\gdef\@mscdegree{Advanced Design Informatics}}
+\DeclareOption{ai}{\gdef\@mscdegree{Artificial Intelligence}}
+\DeclareOption{cogsci}{\gdef\@mscdegree{Cognitive Science}}
+\DeclareOption{cs}{\gdef\@mscdegree{Computer Science}}
+\DeclareOption{cyber}{\gdef\@mscdegree{Cyber Security, Privacy and Trust}}
+\DeclareOption{datasci}{\gdef\@mscdegree{Data Science}}
+\DeclareOption{di}{\gdef\@mscdegree{Design Informatics}}
+\DeclareOption{dsti}{\gdef\@mscdegree{Data Science, Technology, and Innovation}}
+\DeclareOption{inf}{\gdef\@mscdegree{Informatics}}
+
+% Institute
+\let\@institute\@empty
+\DeclareOption{aiai}{\gdef\@institute{Artificial Intelligence
+Applications Institute}}
+\DeclareOption{cisa}{\gdef\@institute{Centre for Intelligent Systems
+and their Applications}}
+\DeclareOption{icsa}{\gdef\@institute{Institute of Computing Systems
+Architecture}}
+\DeclareOption{ianc}{\gdef\@institute{Institute for Adaptive and
+Neural Computation}}
+\DeclareOption{ilcc}{\gdef\@institute{Institute for Language, Cognition and
+Computation}}
+\DeclareOption{ipab}{\gdef\@institute{Institute of Perception, Action
+and Behaviour}}
+\DeclareOption{lfcs}{\gdef\@institute{Laboratory for Foundations of
+Computer Science}}
+
+% Degree
+\def\@researchdegree#1{%
+    \renewcommand{\@degreetext}{#1 \\ 
+    \ifx\@empty\@institute
+        \PackageWarning{infthesis}{No institute specified for research
+        degree}
+    \else
+        \@institute \\
+    \fi
+    \@infschool \\ \@university}
+    \setboolean{strict}{true}}
+\DeclareOption{phdproposal}{\@researchdegree{PhD Proposal}}
+\DeclareOption{phd}{\@researchdegree{Doctor of Philosophy}}
+\DeclareOption{mphil}{\@researchdegree{Master of Philosophy}}
+\DeclareOption{mscres}{\@researchdegree{Master of Science by Research}}
+
+\def\@taughtdegree#1#2{%
+    \renewcommand{\@degreetext}{#1 \\ 
+    \ifx\@empty#2
+        % \PackageWarning{infthesis}{No course/school specified for taught
+        % degree}
+    \else
+        #2 \\
+    \fi
+    \@infschool \\ \@university}%
+    \setboolean{strict}{false}}
+\DeclareOption{msc}{\@taughtdegree{Master of Science}{\@mscdegree}}
+\DeclareOption{minf}{\@taughtdegree{Master of Informatics}{~}}
+\DeclareOption{bsc}{\@taughtdegree{\@project}{\@course}}
+
+%% Chapter header alignment, font of headings
+\DeclareOption{centerchapter,centrechapter}
+   {\renewcommand{\@chapteralignment}{\centering}}
+\DeclareOption{leftchapter}
+   {\renewcommand{\@chapteralignment}{\raggedright}}
+\DeclareOption{rightchapter}
+   {\renewcommand{\@chapteralignment}{\raggedleft}}
+\DeclareOption{sansheadings}{%
+    \setboolean{sansheadings}{true}}
+\DeclareOption{normalheadings}{%
+    \setboolean{sansheadings}{false}}
+
+%% Sidedness, openright-ness, and font size (so that the draft option can
+%% override them as needed. 
+\DeclareOption{twoside}{\renewcommand{\@thesisside}{twoside}}
+\DeclareOption{oneside}{\renewcommand{\@thesisside}{oneside}}
+\DeclareOption{openany}{\renewcommand{\@thesisopen}{openany}}
+\DeclareOption{openright}{\renewcommand{\@thesisopen}{openright}}
+\DeclareOption{10pt}{\renewcommand{\@thesispoints}{10pt}}
+\DeclareOption{11pt}{\renewcommand{\@thesispoints}{11pt}}
+\DeclareOption{12pt}{\renewcommand{\@thesispoints}{12pt}}
+
+%% Font options.
+\DeclareOption{notimes}{\setboolean{timesfonts}{false}}
+\DeclareOption{timesfonts}{\setboolean{timesfonts}{true}}
+
+%% Whether it's a draft (if so, single space and wider margins to fit more)
+\DeclareOption{draft}{
+   \setboolean{draftthesis}{true}
+   \ExecuteOptions{10pt,openany,twoside}
+   \renewcommand{\@draftmessage}{(Draft Copy)}}
+
+%% Use quotation marks in quotation environment?
+\DeclareOption{usequotes}{\setboolean{usequotemarks}{true}}
+
+%% Use useful abbrevations?
+\DeclareOption{abbrevs}{\setboolean{useabbrevs}{true}}
+
+%% Select spacing (default: fullspacing)
+\DeclareOption{singlespacing}{\setboolean{usesinglespacing}{true}}
+\DeclareOption{doublespacing}{\setboolean{usedoublespacing}{true}}
+\DeclareOption{fullspacing}{\setboolean{usefullspacing}{true}}
+
+%% Options to control the format of the cover page
+\DeclareOption{deptreport}{\setboolean{usedeptreport}{true}}
+\DeclareOption{logo}{%
+    \setboolean{logo}{true}}
+\DeclareOption{frontabs}{%
+    \setboolean{frontabs}{true}}
+
+%% Use parskip formatting of paragraphs
+\DeclareOption{parskip}{\AtEndOfClass{\RequirePackage{parskip}}}
+
+%% Whether to put list of figures and tables into TOC (default: no)
+\DeclareOption{listsintoc}{%
+    \setboolean{ltoc}{true}}
+
+%% Pre pages can be numbered separately or with the rest of the thesis.
+\DeclareOption{romanprepages}{\setboolean{romanpre}{true}}
+\DeclareOption{plainprepages}{\setboolean{romanpre}{false}}
+
+%% Pass all other options directly to report class
+\DeclareOption*{\PassOptionsToClass{\CurrentOption}{report}}
+
+%% Set default options and process the ones we were given.
+\ExecuteOptions{phd,centerchapter,romanprepages,%
+    sansheadings,openright,oneside,12pt,timesfonts} 
+\ProcessOptions
+
+%%
+%% --- Class Loading (built ontop of report.cls) ---
+%%
+
+\LoadClass[a4paper,\@thesispoints,\@thesisside,\@thesisopen]{report}
+\ifthenelse{\boolean{draftthesis}}
+    {}
+    {\ifthenelse{\boolean{strict}}
+        {\if@twoside
+            \if@openright
+            \else
+                \PackageWarning{infthesis}{A two-sided PhD or MPhil thesis must
+                not use the "openany" option}
+            \fi
+        \fi}
+        {}}
+
+%%
+%% --- Main Code ---
+%%
+
+\newboolean{isspecialchapter}
+\setboolean{isspecialchapter}{false}
+
+%%
+%% First we will sort out the page layout. The following is a brief
+%% summary of the university typesetting regulations:
+%%   Printed on A4 paper, entirely on rectos (single-sided) or on both sides
+%%      but with chapters starting on even pages
+%%   4cm binding margin
+%%   2cm head margin
+%%   2.5cm fore-edge margin
+%%   4cm tail margin
+%%   spacing: not less then 1.5 spacing (18pt leading)
+%%            quotations & footnotes in single spacing
+%%            bibliography may be in single spacing
+%%   character size: not exceed 12pt for body text (at least 10pt)
+%%   style: a serif font should be used, with a sans-serif for headings
+%%   hyphenation should be avoided if possible
+
+%% Try to set up the margins according to the specifications in the thesis
+%% regulations. I have removed all of the old code (ca. 1996) that attempted
+%% to compensate for particular printers in the Department of Computer
+%% Science.
+\ifthenelse{\boolean{draftthesis}}
+    {\geometry{a4paper,margin=2cm,twoside}}
+    {\if@twoside
+        \geometry{a4paper,left=4cm,top=2cm,right=2.5cm,bottom=4cm,twoside}
+     \else
+        \geometry{a4paper,left=4cm,top=2cm,right=2.5cm,bottom=4cm}
+    \fi}
+
+%% We should make pages created by "cleardoublepage" be
+%% really empty. Taken from titlesec.sty
+
+\def\cleardoublepage{%
+    \clearpage{\ps@empty\if@twoside\ifodd\c@page\else
+    \hbox{}\newpage\if@twocolumn\hbox{}\newpage\fi\fi\fi}}
+
+%%
+%% Hack to make minitoc work with csthesis. We declare a new chapter
+%% variable called starchapter to be used by \addcontentsline when we
+%% add contents lines for List of Figures/Tables. If we don't, then
+%% minitoc treats the LOF/LOT sections as chapters of the thesis.
+%%
+
+\@ifundefined{chapter}{}{\let\l@starchapter\l@chapter}
+
+%%
+%% This bit will set up the header format for the thesis.
+%% This currently uses a "headings" style showing the pagenumber
+%% and chapter number/title. (in slanted text) If the document is two-sided,
+%% the right-hand page will show the section number and title instead.
+%%
+
+\newcommand{\headfootstyle}{\normalsize}  % font size of headers and footers
+% This will have \sffamily added to it if "sansheadings" is specified.
+
+%% Set up different headers for right and left-hand pages. Those \defs are a
+%% bit magic, but they seem to do the trick... :-)
+%% Adapted from Francois Pitt's ut-thesis class from the University of
+%% Toronto.
+\if@twoside % if two-sided printing
+\renewcommand{\ps@headings}{
+   \let\@mkboth\markboth
+   \def\@oddfoot{}
+   \let\@evenfoot\@oddfoot
+   \def\@oddhead{{\headfootstyle\itshape \rightmark}\hfil \headfootstyle\thepage}%
+   \def\@evenhead{\headfootstyle\thepage\hfil
+      {\headfootstyle\itshape\leftmark}}%
+   \def\chaptermark##1{\markboth
+      {\ifnum\c@secnumdepth >\m@ne
+         \@chapapp\ \thechapter. \ \fi ##1}{}}%
+   \def\sectionmark##1{\markright
+      {\ifnum\c@secnumdepth >\z@
+         \thesection. \ \fi ##1}}%
+}%ps@headings
+\else % if one-sided printing
+\renewcommand{\ps@headings}{
+   \let\@mkboth\markboth
+   \def\@oddfoot{}
+   \def\@oddhead{{\headfootstyle\itshape\rightmark}\hfil
+      \headfootstyle\thepage}%
+   \def\chaptermark##1{\markright
+      {\ifnum\c@secnumdepth >\m@ne
+         \@chapapp\ \thechapter. \ \fi ##1}}%
+}%ps@headings
+\fi%@twoside
+
+\renewcommand{\ps@plain}{
+  \renewcommand{\@oddfoot}{\hfil\headfootstyle\thepage\hfil}
+  \renewcommand{\@evenfoot}{\hfil\headfootstyle\thepage\hfil}
+  \renewcommand{\@evenhead}{}
+  \renewcommand{\@oddhead}{}
+}
+
+%%
+%% And now setup that headings style as default
+%%
+
+\newcommand{\@textpagenumbering}{arabic}
+\newcommand{\@preamblepagenumbering}{roman}
+\newcommand{\@textpagestyle}{headings}
+\newcommand{\@preamblepagestyle}{plain}
+
+\pagestyle{\@textpagestyle}
+
+\setcounter{secnumdepth}{6}
+
+%%
+%% Set up the default names for the various chapter headings
+%%
+
+\renewcommand{\contentsname}{Table of Contents}
+\renewcommand{\listfigurename}{List of Figures}
+\renewcommand{\listtablename}{List of Tables}
+\renewcommand{\bibname}{Bibliography}
+\renewcommand{\indexname}{Index}
+\renewcommand{\abstractname}{Abstract}
+
+%%
+%% Some sundry commands which are generally useful...
+%%
+
+\ifthenelse{\boolean{useabbrevs}}
+ {\newcommand{\NB}{N.B.\@\xspace}
+  \newcommand{\eg}{e.g.\@\xspace}
+  \newcommand{\Eg}{E.g.\@\xspace}
+  \newcommand{\ie}{i.e.\@\xspace}
+  \newcommand{\Ie}{I.e.\@\xspace}
+  \newcommand{\etc}{etc.\@\xspace}
+  \newcommand{\etal}{{\em et al}.\@\xspace}
+  \newcommand{\etseq}{{\em et seq}.\@\xspace}
+  \newcommand{\precis}{pr\'ecis\xspace}
+  \newcommand{\Precis}{Pr\'ecis\xspace}
+  \newcommand{\role}{r\^ole\xspace}
+  \newcommand{\Role}{R\^ole\xspace}
+  \newcommand{\naive}{na\"\i ve\xspace}
+  \newcommand{\Naive}{Na\"\i ve\xspace}
+  \newcommand{\tm}{\raisebox{1ex}{\tiny TM}\xspace}
+  \newcommand{\cpright}{\raisebox{1ex}{\tiny\copyright}\xspace}
+  \newcommand{\degrees}{\raisebox{1.2ex}{\tiny\ensuremath{\circ}}\xspace}}
+ {}
+
+%%
+%% Set up the double spacing and provide commands to alter the
+%% spacing for the subsequent text. By default, 1.5 spacing will be
+%% used. This can be modified through the singlespacing, doublespacing
+%% or draft class options.
+%%
+
+\newcommand{\doublespace}{%
+    \renewcommand{\baselinestretch}{1.66}\normalsize}
+\newcommand{\oneandahalfspace}{%
+    \renewcommand{\baselinestretch}{1.33}\normalsize}
+\newcommand{\singlespace}{%
+    \renewcommand{\baselinestretch}{1}\normalsize}
+
+\ifthenelse{\boolean{draftthesis}}
+   {\AtBeginDocument{\singlespace}}% \SetPrinterDraft}
+   {\ifthenelse{\boolean{usesinglespacing}}
+      {\AtBeginDocument{\singlespace}%
+       \ifthenelse{\boolean{strict}}
+        {\PackageWarning{infthesis}{Single spacing is not permitted in the
+        regulations for PhD and MPhil theses}}
+        {}}
+      {\ifthenelse{\boolean{usedoublespacing}}
+         {\AtBeginDocument{\doublespace}}
+         {\AtBeginDocument{\oneandahalfspace}}
+      }
+   }
+
+%%
+%% We must ensure that the thesis ends on a lef-hand page. We
+%% do the latter by issuing a \cleardoublepage at the end of document.
+%% MEF: deleted this, there's no point -- it'll print the other side of that
+%% page anyway!
+%%
+
+% \AtEndDocument{\cleardoublepage}
+
+%%
+%% A couple of commands for figures/captions
+%%
+
+\newcommand{\thesiscaption}[3][]{
+   \ifthenelse{\equal{#1}{}}
+     {\parbox{5in}{\caption{{\em #2\/}}\label{#3}}}
+     {\parbox{5in}{\caption[#1]{{\em #2\/}}\label{#3}}}
+}
+
+%%
+%% Quotations are supposed to be in single-space, so we will
+%% explicitly redefine the quotation env. to support this.
+%% And introduce a quotetext env. which can add an attribution.
+%%
+
+\let\old@quote\quote
+\let\old@endquote\endquote
+\renewcommand{\quote}{\old@quote\singlespace\ifthenelse{\boolean{usequotemarks}}{``}{}}
+\renewcommand{\endquote}{\ifthenelse{\boolean{usequotemarks}}{''}{}\old@endquote}
+
+\let\old@quotation\quotation
+\let\old@endquotation\endquotation
+\renewcommand{\quotation}{\old@quotation\singlespace}
+\renewcommand{\endquotation}{\old@endquotation}
+% \renewenvironment{quote}
+%    {\old@quote\singlespace
+%     \ifthenelse{\boolean{usequotemarks}}{``}{}}
+%    {\ifthenelse{\boolean{usequotemarks}}{''}{}\end{quote}}
+
+\newenvironment{iquote}
+    {\begin{quote}\it}
+    {\rm\end{quote}}
+
+\newcommand{\quotationname}{}
+\newenvironment{quotetext}[1]
+   {\renewcommand{\quotationname}{#1}\begin{iquote}\singlespace
+    \ifthenelse{\boolean{usequotemarks}}{``}{}\it}
+   {\ifthenelse{\boolean{usequotemarks}}{\rm''}{}
+    \hspace*{\fill}\nolinebreak[1]\hspace*{\fill}
+    \rm (\quotationname)\end{iquote}}
+
+%%
+%% Footnotes should also be single-spaced.
+%%
+
+\let\tmp@footnotetext=\@footnotetext
+\renewcommand{\@footnotetext}[1]%
+    {{\singlespace\tmp@footnotetext{#1}}}
+
+%% "preliminary" environment to control numbering of pages between title and
+%% first chapter. This will only kick in if romanprepages is specificed (the
+%% default).
+%% Based on Francois Pitt's ut-thesis.cls from University of Toronto.
+
+\newenvironment{preliminary}
+    {\ifthenelse{\boolean{romanpre}}%
+        {\pagestyle{plain}\pagenumbering{roman}}
+        {\pagestyle{empty}}}%
+    {\cleardoublepage%
+     \ifthenelse{\boolean{romanpre}}%
+        {\pagenumbering{arabic}}%
+        {}}
+
+%%
+%% Let's have a dedication page so I can thank my mummy.
+%%
+
+\newcommand{\dedication}[1]
+   {\vspace*{\fill}
+    \begin{center}#1\end{center}
+    \vspace*{\fill}}
+
+
+%% A generic "frontmatter" environment, for use with abstract, dedication etc.
+%% You specify the title of the environment and the font size to use (so that
+%% both normal abstracts and those on the front page can be accommodated.)
+
+\newenvironment{frontenv}[2]
+  {\vspace{1cm}
+   \begin{center}
+       \@chapterfont\bfseries \LARGE#1
+   \end{center}}
+  {\par\vfil}
+
+%% You specify the abstract with the \abs command; it gets automatically
+%% inserted into the document where appropriate (title page or first main
+%% page.
+
+\def\@abs{}
+\renewcommand{\abstract}[1]{\gdef\@abs{#1}}
+
+\newenvironment{mainabs}
+   {\begin{frontenv}{\abstractname}{\LARGE}}
+   {\end{frontenv}\newpage}
+\newenvironment{frontabs}
+    {\begin{frontenv}{\abstractname}{\large}
+     \begin{quotation}\rm}
+    {\end{quotation}\end{frontenv}}
+
+%%
+%% Based upon the above abstract env., provide wrappers for
+%% an acknowledgements and declation env.
+%%
+
+\newenvironment{acknowledgements}
+   {\renewcommand{\abstractname}{Acknowledgements}\begin{mainabs}}
+   {\end{mainabs}\renewcommand{\abstractname}{Abstract}}   
+
+\newenvironment{declaration}
+   {\renewcommand{\abstractname}{Declaration}\begin{mainabs}}
+   {\end{mainabs}\renewcommand{\abstractname}{Abstract}}   
+
+\newcommand{\standarddeclaration}{
+   \begin{declaration}
+   I declare that this thesis was composed by myself,
+   that the work contained herein is my own 
+   except where explicitly stated otherwise in the text,
+   and that this work has not been submitted for any other degree or
+   professional qualification except as specified.\par
+   \vspace{1in}\raggedleft({\em \@author\/})
+   \end{declaration}
+}
+
+%%
+%% Now let's look at the format for the title page of the
+%% thesis. This is done by redefining \maketitle, and allowing
+%% some extra input options: \submityear and \graduationdate
+%%
+
+\def\submityear#1{\gdef\@submityear{#1}}
+\gdef\@submityear{\the\year}
+
+\def\graduationdate#1{\gdef\@graduationdate{#1}}
+\gdef\@graduationdate{}
+
+%% If usedeptreport is specified, then none of the other funky options kick
+%% in. If not, then if frontabs is specified then it is used; otherwise,
+%% the logo is inserted if required. If the abstract is not put on the front
+%% page, then \maketitle will also create the abstract page as the first page
+%% of the actual document.
+
+\ifthenelse{\boolean{usedeptreport}}{
+   \renewcommand{\maketitle}{
+      \begin{titlepage}
+      \addtolength{\oddsidemargin}{-0.75cm}
+      \begin{center}
+      \null\vskip 6.1cm
+      \begin{minipage}[t][7.6cm]{10.5cm}
+         \begin{center}
+         {\LARGE\bfseries \@chapterfont \@title \par
+            \ifthenelse{\boolean{draftthesis}}{\large \@draftmessage}{}
+         }\vfil
+         {\Large\itshape \@author \par}
+         \end{center}
+      \end{minipage}\\
+      {\large \@degreetext \par \@submityear \par}
+      \ifthenelse{\equal{\@graduationdate}{}}{}
+         {\vskip 1cm {\large \ttfamily (Graduation date: \@graduationdate)}}
+      \end{center}
+      \end{titlepage}\cleardoublepage
+      \begin{mainabs}\@abs\end{mainabs}
+   }}{\ifthenelse{\boolean{frontabs}}{
+     \ifthenelse{\boolean{strict}}
+        {\PackageWarning{infthesis}{The regulations for PhD and MPhil theses
+        do not permit the abstract on the front page}}
+        {}
+     \renewcommand{\maketitle}{
+        \begin{titlepage}\begin{center}
+        {\LARGE\bfseries \@chapterfont \@title \par
+          \ifthenelse{\boolean{draftthesis}}{\large (Draft Copy)}{}
+        }\vspace{3cm}
+        {\Large\itshape \@author \par}\vspace{3cm}
+        {\large \@degreetext \par \@submityear \par}
+        \vskip 1cm 
+        \ifthenelse{\equal{\@graduationdate}{}}{}
+           {{\large \ttfamily (Graduation date: \@graduationdate)}}
+        \end{center}
+        \begin{frontabs}\@abs\end{frontabs}
+        \end{titlepage}
+     }}{
+     \renewcommand{\maketitle}{
+        \begin{titlepage}\begin{center}
+        \null\vfil\vskip 60\p@
+        {\LARGE\bfseries \@chapterfont \@title \par
+           \ifthenelse{\boolean{draftthesis}}{\large (Draft Copy)}{}
+        }\vfill
+        {\Large\itshape \@author \par}\vskip 1cm\vfill
+        \ifthenelse{\boolean{logo}}%
+            {\resizebox{30mm}{!}{\includeshield}\\\vfill}
+            {}
+        {\large \@degreetext \par \@submityear \par}
+        \vskip 1cm 
+        \ifthenelse{\equal{\@graduationdate}{}}{}
+           {{\large \ttfamily (Graduation date: \@graduationdate)}}
+        \end{center}
+        \end{titlepage}\cleardoublepage
+        \begin{mainabs}\@abs\end{mainabs}
+   }}}
+
+
+%% If requested, put the list of figures and list of tables into the table of
+%% contents.
+
+\ifthenelse{\boolean{ltoc}}
+    {\RequirePackage[nottoc,notbib]{tocbibind}}
+    {}
+
+%% Use the "pslatex" fonts unless they told us not to
+\ifthenelse{\boolean{timesfonts}}
+    {\RequirePackage{pslatex}}
+    {}
+
+%% ALWAYS put the bibliography into the TOC.
+%% Thanks to Peter Wilson <peter.r.wilson@boeing.com> for pointing me in the
+%% right direction, and to Heiko Oberdiek <oberdiek@ruf.uni-freiburg.de>
+%% and Michael J Downes <epsmjd@ams,org> for together coming up with this
+%% solution.
+%%
+%% However the bibliography is defined, this will append the \addcontentsline
+%% statement to it. Also, it will put the bibname into the page headers.
+\AtBeginDocument{%
+    \expandafter\def\expandafter\thebibliography\expandafter
+        #\expandafter1\expandafter{\thebibliography{#1}%
+        {\addcontentsline{toc}{chapter}{\bibname}}
+        \markboth{\bibname}{\bibname}}}
+
+%% Do what is requested with headings and captions... can't include these
+%% packages above because sectsty won't work except from within report.cls
+%% itself. Must save \@chapterfont because the front environments (abstract
+%% etc) also need to use it.
+\RequirePackage{sectsty,caption}
+\ifthenelse{\boolean{sansheadings}}
+    {\allsectionsfont{\sffamily}
+     \renewcommand{\@chapterfont}{\sffamily}
+     \renewcommand{\captionfont}{\sffamily}
+     \renewcommand{\headfootstyle}{\normalsize\sffamily}}
+    {}
+%% To make sure we get chapters aligned correctly, we set it here instead.
+\chapterfont{\@chapterfont\@chapteralignment}
+
+%%
+%% EOF: infthesis.cls
+%%
diff --git a/thesis/main.tex b/thesis/main.tex
new file mode 100644
index 0000000..05fe7ac
--- /dev/null
+++ b/thesis/main.tex
@@ -0,0 +1,146 @@
+% UG project example file, February 2022
+% Do not change the first two lines of code, except you may delete "logo," if causing problems.
+% Understand any problems and seek approval before assuming it's ok to remove ugcheck.
+\documentclass[logo,bsc,singlespacing,parskip]{infthesis}
+\usepackage{ugcheck}
+
+\usepackage{microtype}
+
+\begin{document}
+\begin{preliminary}
+
+\title{wip}
+\author{Aria Shrimpton}
+\course{Computer Science}
+\project{4th Year Project Report}
+\date{\today}
+
+\abstract{
+  \input{parts/abstract}
+}
+
+\maketitle
+
+\newenvironment{ethics}
+   {\begin{frontenv}{Research Ethics Approval}{\LARGE}}
+   {\end{frontenv}\newpage}
+
+\begin{ethics}
+This project was planned in accordance with the Informatics Research
+Ethics policy. It did not involve any aspects that required approval
+from the Informatics Research Ethics committee.
+
+\standarddeclaration
+
+\end{ethics}
+
+\begin{acknowledgements}
+  \input{parts/acknowledgements}
+\end{acknowledgements}
+
+\tableofcontents
+
+\end{preliminary}
+
+\chapter{Background}
+  \input {parts/background}
+
+%% \chapter{Introduction}
+
+%% The preliminary material of your report should contain:
+%% \begin{itemize}
+%% \item
+%% The title page.
+%% \item
+%% An abstract page.
+%% \item
+%% Declaration of ethics and own work.
+%% \item
+%% Optionally an acknowledgements page.
+%% \item
+%% The table of contents.
+%% \end{itemize}
+
+%% As in this example \texttt{skeleton.tex}, the above material should be
+%% included between:
+%% \begin{verbatim}
+%% \begin{preliminary}
+%%     ...
+%% \end{preliminary}
+%% \end{verbatim}
+%% This style file uses roman numeral page numbers for the preliminary material.
+
+%% The main content of the dissertation, starting with the first chapter,
+%% starts with page~1. \emph{\textbf{The main content must not go beyond page~40.}}
+
+%% The report then contains a bibliography and any appendices, which may go beyond
+%% page~40. The appendices are only for any supporting material that's important to
+%% go on record. However, you cannot assume markers of dissertations will read them.
+
+%% You may not change the dissertation format (e.g., reduce the font size, change
+%% the margins, or reduce the line spacing from the default single spacing). Be
+%% careful if you copy-paste packages into your document preamble from elsewhere.
+%% Some \LaTeX{} packages, such as \texttt{fullpage} or \texttt{savetrees}, change
+%% the margins of your document. Do not include them!
+
+%% Over-length or incorrectly-formatted dissertations will not be accepted and you
+%% would have to modify your dissertation and resubmit. You cannot assume we will
+%% check your submission before the final deadline and if it requires resubmission
+%% after the deadline to conform to the page and style requirements you will be
+%% subject to the usual late penalties based on your final submission time.
+
+%% \section{Using Sections}
+
+%% Divide your chapters into sub-parts as appropriate.
+
+%% \section{Citations}
+
+%% Citations (such as \cite{P1} or \cite{P2}) can be generated using
+%% \texttt{BibTeX}. For more advanced usage, we recommend using the \texttt{natbib}
+%% package or the newer \texttt{biblatex} system.
+
+%% These examples use a numerical citation style. You may use any consistent
+%% reference style that you prefer, including ``(Author, Year)'' citations.
+
+%% \chapter{Your next chapter}
+
+%% A dissertation usually contains several chapters.
+
+%% \chapter{Conclusions}
+
+%% \section{Final Reminder}
+
+%% The body of your dissertation, before the references and any appendices,
+%% \emph{must} finish by page~40. The introduction, after preliminary material,
+%% should have started on page~1.
+
+%% You may not change the dissertation format (e.g., reduce the font size, change
+%% the margins, or reduce the line spacing from the default single spacing). Be
+%% careful if you copy-paste packages into your document preamble from elsewhere.
+%% Some \LaTeX{} packages, such as \texttt{fullpage} or \texttt{savetrees}, change
+%% the margins of your document. Do not include them!
+
+%% Over-length or incorrectly-formatted dissertations will not be accepted and you
+%% would have to modify your dissertation and resubmit. You cannot assume we will
+%% check your submission before the final deadline and if it requires resubmission
+%% after the deadline to conform to the page and style requirements you will be
+%% subject to the usual late penalties based on your final submission time.
+
+\bibliographystyle{plain}
+\bibliography{biblio}
+
+
+% You may delete everything from \appendix up to \end{document} if you don't need it.
+%% \appendix
+
+%% \chapter{First appendix}
+
+%% \section{First section}
+
+%% Any appendices, including any required ethics information, should be included
+%% after the references.
+
+%% Markers do not have to consider appendices. Make sure that your contributions
+%% are made clear in the main body of the dissertation (within the page limit).
+
+\end{document}
diff --git a/thesis/parts/abstract.tex b/thesis/parts/abstract.tex
new file mode 100644
index 0000000..555255c
--- /dev/null
+++ b/thesis/parts/abstract.tex
@@ -0,0 +1,6 @@
+This skeleton demonstrates how to use the \texttt{infthesis} style for
+undergraduate dissertations in the School of Informatics. It also emphasises the
+page limit, and that you must not deviate from the required style.
+The file \texttt{skeleton.tex} generates this document and should be used as a
+starting point for your thesis. Replace this abstract text with a concise
+summary of your report.
diff --git a/thesis/parts/acknowledgements.tex b/thesis/parts/acknowledgements.tex
new file mode 100644
index 0000000..bf75891
--- /dev/null
+++ b/thesis/parts/acknowledgements.tex
@@ -0,0 +1,2 @@
+
+Any acknowledgements go here.
diff --git a/thesis/parts/background.tex b/thesis/parts/background.tex
new file mode 100644
index 0000000..32f06ad
--- /dev/null
+++ b/thesis/parts/background.tex
@@ -0,0 +1 @@
+Some background information
diff --git a/thesis/ugcheck.sty b/thesis/ugcheck.sty
new file mode 100644
index 0000000..d34839e
--- /dev/null
+++ b/thesis/ugcheck.sty
@@ -0,0 +1,61 @@
+% Historically a small number of students change the page layout,
+% often accidentally by including a package like geometry or fullpage.
+% Here we check if the basic page setup is correct. It does not
+% check all aspects of the style guide, or any page limits.
+%
+% Changing the style in a way that fools these simple checks is still not ok!
+% 
+\RequirePackage{printlen}
+\AtBeginDocument{%
+% To get the numbers below, include printlen package above and see lengths like this:
+%\printlength\oddsidemargin\\
+%\printlength\headheight\\
+%\printlength\textheight\\
+%\printlength\marginparsep\\
+%\printlength\footskip\\
+%\printlength\hoffset\\
+%\printlength\paperwidth\\
+%\printlength\topmargin\\
+%\printlength\headsep\\
+%\printlength\textwidth\\
+%\printlength\marginparwidth\\
+%\printlength\marginparpush\\
+%\printlength\voffset\\
+%\printlength\paperheight\\
+%\baselinestretch\\
+%\@thesispoints\\
+%
+\newif\ifmarginsmessedwith
+\marginsmessedwithfalse
+\ifdim\oddsidemargin=41.54103pt      \else oddsidemargin has been altered.\\ \marginsmessedwithtrue\fi
+\ifdim\headheight=12.0pt             \else headheight has been altered.\\ \marginsmessedwithtrue\fi
+\ifdim\textheight=674.33032pt        \else textheight has been altered.\\ \marginsmessedwithtrue\fi
+\ifdim\marginparsep=10.0pt           \else marginparsep has been altered.\\ \marginsmessedwithtrue\fi
+\ifdim\footskip=30.0pt               \else footskip has been altered.\\ \marginsmessedwithtrue\fi
+\ifdim\hoffset=0.0pt                 \else hoffset has been altered.\\ \marginsmessedwithtrue\fi
+\ifdim\paperwidth=597.50787pt        \else paperwidth has been altered.\\ \marginsmessedwithtrue\fi
+\ifdim\topmargin=-52.36449pt         \else topmargin has been altered.\\ \marginsmessedwithtrue\fi
+\ifdim\headsep=25.0pt                \else headsep has been altered.\\ \marginsmessedwithtrue\fi
+\ifdim\textwidth=412.56497pt         \else textwidth has been altered.\\ \marginsmessedwithtrue\fi
+\ifdim\marginparwidth=35.0pt         \else marginparwidth has been altered.\\ \marginsmessedwithtrue\fi
+\ifdim\marginparpush=7.0pt           \else marginparpush has been altered.\\ \marginsmessedwithtrue\fi
+\ifdim\voffset=0.0pt                 \else voffset has been altered.\\ \marginsmessedwithtrue\fi
+\ifdim\paperheight=845.04684pt       \else paperheight has been altered.\\ \marginsmessedwithtrue\fi
+\newcommand{\pts}[1]{#1pt}
+\ifdim\pts\baselinestretch = 1pt     \else linespacing has been altered.\\ \marginsmessedwithtrue\fi
+\ifdim\@thesispoints=12pt            \else font size has been altered.\\ \marginsmessedwithtrue\fi
+\ifmarginsmessedwith
+
+\textbf{\large \em The required page layout has been changed.}
+
+Please set up your document as in the example skeleton thesis document.
+Do not change the page layout, or include packages like geometry,
+savetrees, or fullpage, which change it for you.
+
+We're not able to reliably undo arbitrary changes to the style. Please remove
+the offending package(s), or layout-changing commands and try again. If you
+can't figure out the problem, try adding your \LaTeX\ code a part at a time
+to the example document.
+
+\fi}
+