Merge branch 'stable/iron'

ALL_VERSIONS

 Version number			Date of release		Notes
 ==============			===============		=====
+26.0 (Iron)                     2022, November 23
 25.0 (Manganese)                2022, June 22
 24.0 (Chromium)                 2021, November 30
 23.1 (Vanadium)                 2021, July 20

opam

@@ -69,7 +69,7 @@ authors: [
 homepage: "https://frama-c.com/"
 license: "LGPL-2.1-only"
 dev-repo: "git+https://git.frama-c.com/pub/frama-c.git"
-doc: "http://frama-c.com/download/user-manual-26.0-beta-Iron.pdf"
+doc: "http://frama-c.com/download/user-manual-26.0-Iron.pdf"
 bug-reports: "https://git.frama-c.com/pub/frama-c/issues"
 tags: [
   "deductive"

releases/26.0.md

 The Frama-C build now uses dune. Hopefully, this should have no impact on most
 Frama-C users.
-Maintainers of external plugins must now use dune as well (see the plugin
+Maintainers of external plug-ins must now use dune as well (see the plug-in
 migration section in the developer manual), and the loading of modules and
 scripts has changed (see the frama-c-build-scripts.sh tool to build scripts
 for Frama-C).
 
 # Kernel
 - `calls` ACSL extension for listing potential targets of indirect calls is now
-  supported within kernel, and not only by the WP plugin.
+  supported within kernel, and not only by the WP plug-in.
 
 # Aoraï
 - remove (almost unused) support for LTL and Promela as input language.
@@ -31,6 +31,6 @@ for Frama-C).
 - the installation of Frama-C provides an installation script for Ivette.
   Run 'ivette' once to finalize installation (this requires node 16, yarn and
   an internet connection).
-- improve the dataflow graphs generated by the Dive plugin.
+- improve the dataflow graphs generated by the Dive plug-in.
 - when the taint domain of Eva is enabled, taint status of lvalues is shown
   in the Inspector component and in Dive graphs.

src/plugins/eva/dune

@@ -28,7 +28,7 @@
    (echo "EVA:" %{lib-available:frama-c-eva.core} "\n")
    (echo "Numerors:" %{lib-available:frama-c-eva.numerors.core} "\n")
    (echo " - MLMPFR:" %{lib-available:mlmpfr} "\n")
-   (echo "Apron domains:" %{lib-available:frama-c-eva.apron} "\n")
+   (echo "Apron domains:" %{lib-available:frama-c-eva.apron.core} "\n")
    (echo " - apron.octMPQ:" %{lib-available:apron.octMPQ} "\n")
    (echo " - apron.boxMPQ:" %{lib-available:apron.boxMPQ} "\n")
    (echo " - apron.polkaMPQ:" %{lib-available:apron.polkaMPQ} "\n")