updated WP3 deliverable dates

NEWPROPOSAL/FULLPROP.tex

@@ -1408,15 +1408,15 @@ We develop practical logical and algorithmic techniques for transforming  ``abst
   \end{WPtasks}
   \begin{WPdeliverables}
  %\WPdeliverable{M18}{\zx language constructs for basic control flow, repetition and recursion} 
- \WPdeliverable{M18}{\newt{Generalisations of  PyZX and other general-purpose techniques and
+ \WPdeliverable{M12}{\newt{Generalisations of  PyZX and other general-purpose techniques and
       algorithms + software for simplifying \zx terms}.} 
-    \WPdeliverable{M24}{An extended \zx language which expresses
+    \WPdeliverable{M18}{An extended \zx language which expresses
       topological and quantitative properties, with associated
       reasoning techniques.} 
   \WPdeliverable{M24}{\newt{Setting the state-of-the-art for all forms of circuit optimization}.}
-        \WPdeliverable{M24}{\newt{Optimization techniques for a variety of computational models}.}
+        \WPdeliverable{M30}{\newt{Optimization techniques for a variety of computational models}.}
  % \WPdeliverable{M24}{Routines for adding error-correction to \zx programs}
-    \WPdeliverable{M24}{Routines for adding error-correction to ZX programs.}
+    \WPdeliverable{M36}{Routines for adding error-correction to ZX programs.}
   \end{WPdeliverables}
 \end{WP}