From ab97a29f5b63ead57854fefebfd9b7abedd67336 Mon Sep 17 00:00:00 2001
From: Claude Marche <Claude.Marche@inria.fr>
Date: Fri, 22 Jun 2018 16:55:20 +0200
Subject: [PATCH] doc: partly supported info
---
doc/manual.tex | 11 ++++++++---
1 file changed, 8 insertions(+), 3 deletions(-)
diff --git a/doc/manual.tex b/doc/manual.tex
index 2ea03ec4b..f6fd625f6 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -4,7 +4,7 @@
%BEGIN LATEX
\usepackage{comment}
-\usepackage{todonotes}
+%\usepackage{todonotes}
\newcommand{\ahref}[2]{{#2}}
\excludecomment{htmlonly}
\newenvironment{latexonly}{}{}
@@ -113,7 +113,7 @@
\vfill
-\todo{NE PAS DISTRIBUER TANT QU'IL RESTE DES TODOS}
+%\todo{NE PAS DISTRIBUER TANT QU'IL RESTE DES TODOS}
%BEGIN LATEX
\begin{LARGE}
@@ -157,6 +157,8 @@ $^2$ Inria Saclay -- \^Ile-de-France, Palaiseau, F-91120
\urldef{\urlhilite}{\url}{http://www.open-do.org/projects/hi-lite/}
\urldef{\urlbware}{\url}{http://bware.lri.fr/}
\urldef{\urlproofinuse}{\url}{http://www.spark-2014.org/proofinuse}
+\urldef{\urlcolis}{\url}{http://colis.irif.univ-paris-diderot.fr/}
+\urldef{\urlvocal}{\url}{https://vocal.lri.fr/}
This work has been partly supported by the `\ahref{\urlutcat}{U3CAT}'
national ANR project (ANR-08-SEGI-021-08\begin{latexonly},
@@ -164,7 +166,10 @@ national ANR project (ANR-08-SEGI-021-08\begin{latexonly},
\begin{latexonly}(\urlhilite)\end{latexonly} FUI project of the
System@tic competitivity cluster ; the `\ahref{\urlbware}{BWare}'
ANR project (ANR-12-INSE-0010\begin{latexonly},
- \urlbware\end{latexonly}) ; and 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})
\end{flushleft}
\end{center}
--
GitLab