updated work plan text

NEWPROPOSAL/FULLPROP.tex

@@ -1129,7 +1129,7 @@ early outputs of each WP will be used in later outputs of other WPs.
 \label{fig:gantt}
 \end{figure}}
 
-\oldt{The project is a single integrated whole, so there are many linkages
+The project is a single integrated whole, so there are many linkages
 between the work packages; these are displayed in
 Figure~\ref{fig:pert}. As discussed in
 \S~\ref{sec:manag-struct-milest}, only some of these linkages are true
@@ -1147,7 +1147,7 @@ useful experience for the later tasks.
 
 The first two tasks of \ref{wp:theory} build on a significant existing body of results and techniques for the \zx-calculus and rewrite theory in general. Hence, they can begin straight away. This will provide an ample source of theoretical work to do until the more implementation-oriented tasks \ref{task:circuit-model} and \ref{task:mbqc-model} provide enough examples and use cases to feed into tasks \ref{task:annotate1} and \ref{task:annotate2}.
 
-The more challenging machine models of \ref{task:delft-model} and
+The more challenging machine models of \ref{task:qdot-model} and
 \ref{task:NQIT-model} are scheduled to begin in parallel with the more challenging theoretical tasks in WP3, anticipating a great deal of back-and-forth interaction between these two aspects of the project.
 
 %  delayed until sufficient theory has been
@@ -1155,7 +1155,7 @@ The more challenging machine models of \ref{task:delft-model} and
 
 \ref{wp:usefulstuff} requires integrating and generalising many of the 
 ideas of \ref{wp:backends} and \ref{wp:theory}, so it is mostly
-scheduled toward the end of the project.}
+scheduled toward the end of the project.
 
 \begin{figure}[h]
   \centering