From 6d1e7ad2a729aef65927d1c4458051e398ab1a95 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 29 Mar 2021 23:09:45 +0200
Subject: [PATCH] [Doc] userman: minor update

---
 doc/userman/user-intro.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/userman/user-intro.tex b/doc/userman/user-intro.tex
index 9d24d85d20f..9f60b97c919 100644
--- a/doc/userman/user-intro.tex
+++ b/doc/userman/user-intro.tex
@@ -11,8 +11,8 @@ This manual gives an overview of \FramaC for newcomers,
 and serves as a reference for expert users.
 It only describes those platform features that are common to all analyzers. 
 Thus it \emph{does not cover} the use of the analyzers provided in the \FramaC
-distribution (Value Analysis, Slicing, \ldots). Each of these analyses has its
-own specific documentation~\cite{wp,value,rte,aorai}. Furthermore, research
+distribution (Eva, WP, E-ACSL, \ldots). Each of these analyses has its
+own specific documentation~\cite{wp,value,eacsl}. Furthermore, research
 papers~\cite{sefm12,fac15} give a synthetic view of the platform, its main and
 composite analyses, and some of its industrial achievements, while the
 development of new analyzers is described in the Plug-in Development
-- 
GitLab