From f62700ffab913ab3686eab83dc22e438b1519c1e Mon Sep 17 00:00:00 2001
From: External user mbackens <miriam.backens@cs.ox.ac.uk>
Date: Sat, 16 Feb 2019 08:26:41 +0000
Subject: [PATCH] typo fixes

---
 NEWPROPOSAL/FULLPROP.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 88e090d..c078004 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -1102,7 +1102,7 @@ work package grouping administrative and organisational activities.)
 \item[\ref{wp:frontend}] is focussed on \newt{the \dzxc interface with known high-level quantum programming languages} 
 %translating from HLLs into \azx, reflecting higher level programming constructs into \azx, 
 and building a test suite of programs.
-\item[\ref{wp:backends}] \newt{is focussed on the further development of zx calculus, its axiomaic formulation, and its status as a theory of resources.}
+\item[\ref{wp:backends}] \newt{is focussed on the further development of zx calculus, its axiomatic formulation, and its status as a theory of resources.}
 %is about modelling the properties of different machines in \azx, and translating \azx to hardware.
 \item[\ref{wp:theory}] 
 \newt{focusses on resource optimization, such as gate reduction in circuit representations, efficient intelligent error-correction, and other deep algorithms.}
@@ -1167,7 +1167,7 @@ scheduled toward the end of the project.
 \end{figure}
 
 The allocation of staff to work packages is discussed in
-\S~\ref{sec:consortium-as-whole} and \S\ref{sec:descr-cons}.
+\S~\ref{sec:consortium-as-whole} and \S~\ref{sec:descr-cons}.
 However, because of the integrated nature of the project, and the high 
 degree of past collaboration among the consortium members, most tasks
 receive attention from the personnel of several sites.  This degree of
-- 
GitLab