diff --git a/src/plugins/e-acsl/VERSION b/src/plugins/e-acsl/VERSION
index fa939db48ac4b995affc59217fb27bd1fba8f384..267577d47e497a0630bc454b3f74c4fd9a10ced4 100644
--- a/src/plugins/e-acsl/VERSION
+++ b/src/plugins/e-acsl/VERSION
@@ -1 +1 @@
-0.4+dev
+0.4.1
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 67f02e5bfa9ed50c48c8d322d91c91dabdfa64dc..41b61fc71f468ed2eb4f5d4d78f97c58b63436ef 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,6 +15,10 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+########################
+Plugin E-ACSL 0.4.1 Neon
+########################
+
 -* E-ACSL       [2014/08/05] Fix bug #1838 about memset.
 -* E-ACSL       [2014/08/05] Fix bug #1818 about initialization of globals.
 -* E-ACSL       [2014/08/04] Fix bug #1696 by clarifying the manual.
diff --git a/src/plugins/e-acsl/doc/manuals/e-acsl-implementation.pdf b/src/plugins/e-acsl/doc/manuals/e-acsl-implementation.pdf
index 8ca398e1785d619f5d6dcaaf07e4b107d2ef01c8..0b7390d6e4c436f83432facf335352818224222e 100644
Binary files a/src/plugins/e-acsl/doc/manuals/e-acsl-implementation.pdf and b/src/plugins/e-acsl/doc/manuals/e-acsl-implementation.pdf differ
diff --git a/src/plugins/e-acsl/doc/manuals/e-acsl-manual.pdf b/src/plugins/e-acsl/doc/manuals/e-acsl-manual.pdf
index e2e1ebf632691c9c38fc988f3d57b7466dd61f78..60374aa4a458eef18d85348491b499810d4fd453 100644
Binary files a/src/plugins/e-acsl/doc/manuals/e-acsl-manual.pdf and b/src/plugins/e-acsl/doc/manuals/e-acsl-manual.pdf differ
diff --git a/src/plugins/e-acsl/doc/manuals/e-acsl.pdf b/src/plugins/e-acsl/doc/manuals/e-acsl.pdf
index 10f75d8cd715b7f3ad55cf6195dd13de3d8c2d13..a82672b65e1250faa2d12b1ce359bef5d35159aa 100644
Binary files a/src/plugins/e-acsl/doc/manuals/e-acsl.pdf and b/src/plugins/e-acsl/doc/manuals/e-acsl.pdf differ
diff --git a/src/plugins/e-acsl/doc/refman/Makefile b/src/plugins/e-acsl/doc/refman/Makefile
index fcb5d4578d8a5cf6f3645f2642b1ea52943e6f31..437e3b6491becdc70d4648882b772f822dcda591 100644
--- a/src/plugins/e-acsl/doc/refman/Makefile
+++ b/src/plugins/e-acsl/doc/refman/Makefile
@@ -1,3 +1,5 @@
+VERSION_FILE=../../VERSION
+
 MAIN=main
 DEPS_MODERN=macros_modern.tex eacslversion.tex biblio.bib \
 	intro_modern.tex speclang_modern.tex \
@@ -19,7 +21,7 @@ e-acsl: e-acsl-implementation.pdf e-acsl.pdf main.pdf
 all: e-acsl
 
 LANGUAGE_VERSION=1.8
-EACSL_VERSION= 0.4
+EACSL_VERSION=$(shell cat $(VERSION_FILE))
 
 EACSL_DIR=../..
 DISTRIB_DIR=$(HOME)/frama-c/doc/www/distrib
@@ -32,7 +34,7 @@ install: e-acsl-implementation.pdf e-acsl.pdf
 
 include $(EACSL_DIR)/doc/support/MakeLaTeXModern
 
-eacslversion.tex: Makefile
+eacslversion.tex: Makefile $(VERSION_FILE)
 	rm -f $@
 	echo '\\newcommand{\\eacslversion}{$(EACSL_VERSION)}' > $@
 	chmod a-w $@
diff --git a/src/plugins/e-acsl/doc/refman/eacslversion.tex b/src/plugins/e-acsl/doc/refman/eacslversion.tex
index 8eacf0ee12c8f5c79dec65a1ebc5094e460dc601..ecdb5293dfa4d061fb3db7989dae0215b186daa8 100644
--- a/src/plugins/e-acsl/doc/refman/eacslversion.tex
+++ b/src/plugins/e-acsl/doc/refman/eacslversion.tex
@@ -1 +1 @@
-\newcommand{\eacslversion}{0.4}
+\newcommand{\eacslversion}{0.4.1}
diff --git a/src/plugins/e-acsl/doc/userman/Makefile b/src/plugins/e-acsl/doc/userman/Makefile
index 786d571b314b2e0822e175796aa25f57fca980c1..1c7943103ab157f63da6431ac06c9cc2dfe03a19 100644
--- a/src/plugins/e-acsl/doc/userman/Makefile
+++ b/src/plugins/e-acsl/doc/userman/Makefile
@@ -1,21 +1,22 @@
 MAIN=main
 
 C_CODE=$(wildcard examples/*.[ci])
+VERSION_FILE=../../VERSION
 
 DEPS_MODERN=eacslversion.tex biblio.bib macros.tex \
 	introduction.tex \
 	provides.tex \
 	limitations.tex \
 	changes.tex \
-	$(C_CODE)
-
+	$(C_CODE) \
+	$(VERSION_FILE)
 
 default: main.pdf
 
 main.pdf: $(DEPS_MODERN)
 
-EACSL_VERSION= 0.4+dev
-FC_VERSION= Neon-20140301
+EACSL_VERSION= $(shell cat $(VERSION_FILE))
+FC_VERSION= Neon
 
 EACSL_DIR=../..
 DISTRIB_DIR=$(HOME)/frama-c/doc/www/distrib
diff --git a/src/plugins/e-acsl/doc/userman/eacslversion.tex b/src/plugins/e-acsl/doc/userman/eacslversion.tex
index f098f72f0a555ab07a2fee592851b92ccc2a199a..e8d776727c61611ca4b294e6aead5c4277bd7ddb 100644
--- a/src/plugins/e-acsl/doc/userman/eacslversion.tex
+++ b/src/plugins/e-acsl/doc/userman/eacslversion.tex
@@ -1,2 +1,2 @@
-\newcommand{\eacslversion}{0.4+dev\xspace}
-\newcommand{\fcversion}{Neon-20140301\xspace}
+\newcommand{\eacslversion}{0.4.1\xspace}
+\newcommand{\fcversion}{Neon\xspace}
diff --git a/src/plugins/e-acsl/doc/userman/main.tex b/src/plugins/e-acsl/doc/userman/main.tex
index 3785a7006f402b2966979fae7ffdbf6dc295d529..f896579ded4a96452459fd4347dc3f0947669db8 100644
--- a/src/plugins/e-acsl/doc/userman/main.tex
+++ b/src/plugins/e-acsl/doc/userman/main.tex
@@ -17,8 +17,8 @@
 \includegraphics[height=14mm]{cealistlogo.jpg}
 \end{flushleft}
 \vfill
-\title{\framac's \eacsl Plug-in}{Release \eacslversion compatible 
-  with \fcversion}
+\title{\eacsl Plug-in}{Release \eacslversion compatible 
+  with \framac \fcversion}
 \author{Julien Signoles}
 \begin{tabular}{l}
 CEA LIST, Software Safety Laboratory, Saclay, F-91191 \\