From d051803cef4cf9f3d4903ebc4e64481f164495f8 Mon Sep 17 00:00:00 2001
From: Miriam Backens <miriam.backens@cs.ox.ac.uk>
Date: Fri, 15 Feb 2019 16:52:52 +0000
Subject: [PATCH] note about identical deliverables
---
NEWPROPOSAL/FULLPROP.tex | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index d3ed0a6..ef8c0d8 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -1482,9 +1482,10 @@ Also machine-dependent error correction here?
\WPdeliverable{M30}{General purpose layout engine}
\WPdeliverable{M36}{Optimising \dzxc, suitable for compiling to Grenoble and/or Oxford architecture}
\WPdeliverable[\label{del:backendapi}]{M36}{API for back-end
- modules, including specification language for architectures.}
+ modules, including specification language for architectures.}
\end{WPdeliverables}
\end{WP}
+\TODOb{Should D4.5 be the same as D1.6?}
\REM{\emph{Leader:} Kissinger.
\emph{Others:} Abramsky, de Beaudrap, Duncan, Jeandel, Perdrix,
--
GitLab