Merge branch 'stable/neon'

src/plugins/e-acsl/.gitignore

src/plugins/e-acsl/E_ACSL.mli

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/VERSION

src/plugins/e-acsl/configure.ac

src/plugins/e-acsl/doc/Changelog

src/plugins/e-acsl/doc/manuals/e-acsl-implementation.pdf

src/plugins/e-acsl/doc/manuals/e-acsl-manual.pdf

src/plugins/e-acsl/doc/manuals/e-acsl.pdf

src/plugins/e-acsl/doc/refman/.gitignore

src/plugins/e-acsl/doc/refman/Makefile

src/plugins/e-acsl/doc/refman/changes_modern.tex

src/plugins/e-acsl/doc/refman/eacslversion.tex

src/plugins/e-acsl/doc/refman/macros_modern.tex

src/plugins/e-acsl/doc/refman/main.tex

src/plugins/e-acsl/doc/refman/memory.tex

src/plugins/e-acsl/doc/refman/speclang_modern.tex

src/plugins/e-acsl/doc/userman/Makefile

src/plugins/e-acsl/doc/userman/changes.tex

src/plugins/e-acsl/doc/userman/eacslversion.tex