From 61755d48ab26ec8a7e390038086de84fedd7a88d Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Mon, 25 Jun 2018 07:57:59 +0200
Subject: [PATCH] Clean project list.
---
doc/manual.tex | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/doc/manual.tex b/doc/manual.tex
index 8f0264fec..2878fac66 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -162,14 +162,14 @@ $^2$ Inria Saclay -- \^Ile-de-France, Palaiseau, F-91120
This work has been partly supported by the `\ahref{\urlutcat}{U3CAT}'
national ANR project (ANR-08-SEGI-021-08\begin{latexonly},
- \urlutcat\end{latexonly}) ; the `\ahref{\urlhilite}{Hi-Lite}'
+ \urlutcat\end{latexonly}), the `\ahref{\urlhilite}{Hi-Lite}'
\begin{latexonly}(\urlhilite)\end{latexonly} FUI project of the
-System@tic competitivity cluster ; the `\ahref{\urlbware}{BWare}'
+System@tic competitivity cluster, the `\ahref{\urlbware}{BWare}'
ANR project (ANR-12-INSE-0010\begin{latexonly},
- \urlbware\end{latexonly}) ; the \ahref{\urlproofinuse}{Joint Laboratory ProofInUse} (ANR-13-LAB3-0007\begin{latexonly}, \urlproofinuse\end{latexonly}) ;
+ \urlbware\end{latexonly}), the \ahref{\urlproofinuse}{Joint Laboratory ProofInUse} (ANR-13-LAB3-0007\begin{latexonly}, \urlproofinuse\end{latexonly});
the `\ahref{\urlcolis}{CoLiS}' ANR project (ANR-15-CE25-0001\begin{latexonly},
- \urlcolis\end{latexonly}) ; and the `\ahref{\urlvocal}{VOCaL}' ANR project (ANR-15-CE25-008\begin{latexonly},
- \urlvocal\end{latexonly})
+ \urlcolis\end{latexonly}), and the `\ahref{\urlvocal}{VOCaL}' ANR project (ANR-15-CE25-008\begin{latexonly},
+ \urlvocal\end{latexonly}).
\end{flushleft}
\end{center}
--
GitLab