diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 2883ee38c8bcc19e3a447ac4beeeeaf38dc19b92..628dd97bbb5ce9ebbaccffe449828435f9469580 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,6 +15,8 @@
# E-ACSL: the Whole E-ACSL plug-in
###############################################################################
+-* E-ACSL [2014/05/21] Fix bug #1782 about incorrect URL in the
+ documentation.
- E-ACSL [2014/03/27] Remove spurious warnings when using type `real`.
-* E-ACSL [2014/03/26] Fix bug #1692 about wrong localisation of
some messages.
diff --git a/src/plugins/e-acsl/doc/userman/.gitignore b/src/plugins/e-acsl/doc/userman/.gitignore
new file mode 100644
index 0000000000000000000000000000000000000000..f0de8a3d55fd37efe5d3b79a83031b8ab3c1a1e3
--- /dev/null
+++ b/src/plugins/e-acsl/doc/userman/.gitignore
@@ -0,0 +1 @@
+main.pdf
diff --git a/src/plugins/e-acsl/doc/userman/Makefile b/src/plugins/e-acsl/doc/userman/Makefile
index 65eea28136894647be383f492fc69c1ca6a26a0c..786d571b314b2e0822e175796aa25f57fca980c1 100644
--- a/src/plugins/e-acsl/doc/userman/Makefile
+++ b/src/plugins/e-acsl/doc/userman/Makefile
@@ -14,7 +14,7 @@ default: main.pdf
main.pdf: $(DEPS_MODERN)
-EACSL_VERSION= 0.4
+EACSL_VERSION= 0.4+dev
FC_VERSION= Neon-20140301
EACSL_DIR=../..
diff --git a/src/plugins/e-acsl/doc/userman/biblio.bib b/src/plugins/e-acsl/doc/userman/biblio.bib
index a2c04de1c0c0ab2033468f6b3f4287dd7dbfe960..7d0c29f24a18dd3b96fc830318e200d04692fbf9 100644
--- a/src/plugins/e-acsl/doc/userman/biblio.bib
+++ b/src/plugins/e-acsl/doc/userman/biblio.bib
@@ -30,35 +30,35 @@
March\'{e}, Claude and Monate, Benjamin and Moy, Yannick and
Prevosto, Virgile},
month = apr,
- title = {{ACSL: ANSI/ISO C Specification Language. Version 1.7}},
- year = {2013}
+ title = {{ACSL: ANSI/ISO C Specification Language. Version 1.8}},
+ year = {2014}
}
@manual{acsl-implem,
author = {Baudin, Patrick and Pascal Cuoq and Filli\^{a}tre, Jean-Christophe
and March\'{e}, Claude and Monate, Benjamin and Moy, Yannick and
Prevosto, Virgile},
- month = sep,
- title = {ACSL: ANSI/ISO C Specification Language. Version 1.6 ---
- Frama-C Oxygen implementation.},
- year = {2012}
+ month = apr,
+ title = {ACSL: ANSI/ISO C Specification Language. Version 1.8 ---
+ Frama-C Neon implementation.},
+ year = {2014}
}
@manual{eacsl,
author = {Julien Signoles},
- title = {E-ACSL: Executable ANSI/ISO C Specification Language. Version 1.7},
- year = 2013,
- month = may,
- note = {URL: http://frama-c.com/download/ e-acsl/e-acsl.pdf}
+ title = {E-ACSL: Executable ANSI/ISO C Specification Language. Version 1.8},
+ year = 2014,
+ month = apr,
+ note = {\mbox{\url{http://frama-c.com/download/e-acsl/e-acsl.pdf}}}
}
@manual{eacsl-implem,
author = {Julien Signoles},
title = {E-ACSL Version 1.7.
- Implementation in Frama-C Plug-in E-ACSL version 0.2},
- year = 2013,
- month = may,
- note = {URL: http://frama-c.com/download/e-acsl/ e-acsl-implementation.pdf}}
+ Implementation in Frama-C Plug-in E-ACSL version 0.4},
+ year = 2014,
+ month = apr,
+ note = {\mbox{\url{http://frama-c.com/download/e-acsl/e-acsl-implementation.pdf}}}
}
@inproceedings{sac13,
diff --git a/src/plugins/e-acsl/doc/userman/changes.tex b/src/plugins/e-acsl/doc/userman/changes.tex
index ba3ec142044a61ff72531de4c9c720deae7f93d4..2d98c60ec54379a10804a8e4c8c465aef8780f8b 100644
--- a/src/plugins/e-acsl/doc/userman/changes.tex
+++ b/src/plugins/e-acsl/doc/userman/changes.tex
@@ -5,6 +5,12 @@ release. First we list changes of the last release.
\section*{E-ACSL \eacslversion}
+\begin{itemize}
+\item \textbf{Bibliography:} fix incorrect links.
+\end{itemize}
+
+\section*{E-ACSL 0.4}
+
\begin{itemize}
\item No change
\end{itemize}
diff --git a/src/plugins/e-acsl/doc/userman/eacslversion.tex b/src/plugins/e-acsl/doc/userman/eacslversion.tex
index 14953a5d923cce7b011879de958b7ec761304507..f098f72f0a555ab07a2fee592851b92ccc2a199a 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\xspace}
+\newcommand{\eacslversion}{0.4+dev\xspace}
\newcommand{\fcversion}{Neon-20140301\xspace}