From d9d0f079d91164f1cc92d0ff71a9fcb49e2ea68d Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown@cl.cam.ac.uk>
Date: Thu, 31 Mar 2022 16:40:08 +0100
Subject: Beginning of the thesis.

---
 thesis.org | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 thesis.org

(limited to 'thesis.org')

diff --git a/thesis.org b/thesis.org
new file mode 100644
index 0000000..d5e7165
--- /dev/null
+++ b/thesis.org
@@ -0,0 +1,22 @@
+#+options: ':t *:t -:t ::t <:t H:3 \n:nil ^:t arch:headline author:t
+#+options: broken-links:nil c:nil creator:nil d:(not "LOGBOOK") date:t e:t
+#+options: email:nil f:t inline:t num:t p:nil pri:nil prop:nil stat:t tags:t
+#+options: tasks:t tex:t timestamp:t title:t toc:t todo:t |:t
+#+title: Semantics of an embedded vector architecture for formal verification of software
+#+date: \today
+#+author: Greg Brown
+#+email: greg.brown@cl.cam.ac.uk
+#+language: en-GB
+#+select_tags: export
+#+exclude_tags: noexport
+#+creator: Emacs 27.2 (Org mode 9.6)
+#+cite_export:
+#+latex_class: article
+#+latex_class_options: [a4paper]
+#+latex_header: \usepackage[hyperref=true,url=true,backend=biber,natbib=true]{biblatex}
+#+latex_header: \usepackage{savetrees}
+#+latex_header_extra:
+#+description:
+#+keywords:
+#+subtitle:
+#+latex_compiler: pdflatex
-- 
cgit v1.2.3