diff --git a/src/plugins/e-acsl/VERSION b/src/plugins/e-acsl/VERSION
index 52c43259d20ce81419201c39d1f7e96177454053..bd73f47072b1fe4b9914ec14a7f6d47fcc8f816a 100644
--- a/src/plugins/e-acsl/VERSION
+++ b/src/plugins/e-acsl/VERSION
@@ -1 +1 @@
-0.3+dev
+0.4
diff --git a/src/plugins/e-acsl/configure.ac b/src/plugins/e-acsl/configure.ac
index cb00b0fc14c92612e7d0b0922171bc80f30c017d..d33946c90443521416edfcad64befd78af42c9d0 100644
--- a/src/plugins/e-acsl/configure.ac
+++ b/src/plugins/e-acsl/configure.ac
@@ -55,17 +55,19 @@ AC_MSG_CHECKING(for Frama-C version)
 
 DEV_VERSION_NUMBER=`echo $FRAMAC_VERSION | sed -e 's/.*-\(.*\)/\1/' `
 VERSION_NUMBER=`echo $DEV_VERSION_NUMBER | sed -e 's/\(.*\)+dev/\1/' `
+REQUIRED_NUMBER=20140301
 
-if test $VERSION_NUMBER -lt 20130601; then
-  AC_MSG_ERROR(Frama-C version must be at least Fluorine-20130601.)
-fi
-
-# at the time being, must use the Frama-C development version
-DEV=`echo $DEV_VERSION_NUMBER | sed -e 's/.*\(+dev\)/\1/' `
-if test "$DEV" != "+dev"; then
-  AC_MSG_ERROR(Frama-C version must be the current SVN version.);
+if test $VERSION_NUMBER -lt $REQUIRED_NUMBER; then
+  AC_MSG_ERROR(Frama-C version must be at least Neon-$REQUIRED_NUMBER.)
 else
-   AC_MSG_RESULT($FRAMAC_VERSION)
+
+# # at the time being, must use the Frama-C development version
+# DEV=`echo $DEV_VERSION_NUMBER | sed -e 's/.*\(+dev\)/\1/' `
+# if test "$DEV" != "+dev"; then
+#   AC_MSG_ERROR(Frama-C version must be the current GIT version.);
+# else
+    AC_MSG_RESULT($FRAMAC_VERSION)
+# fi
 fi
 
 # OCaml version
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index ed86b92376eb55e87e4e4082c5e58157411437ef..1e53bae42cffb36f91373cc636718c00c7a4d166 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 Neon_20140301
+###############################
+
 -* E-ACSL       [2014/01/28] Fix bug #1634 occuring in presence of static
 	        addresses.
 -* E-ACSL       [2013/09/26] Fix incorrectness which may occur in presence