Release 26.0~beta-Iron

On behalf of "David Bühler" david.buhler@cea.fr (@buhler)

_fc-versions/iron.md

+---
+layout: version
+number: 26
+name: Iron
+beta: true
+releases:
+- number: 0
+  categories:
+  - name: Frama-C v26.0~beta Iron
+    files:
+    - name: Source distribution
+      link: /download/frama-c-26.0-beta-Iron.tar.gz
+      help: Compilation instructions
+      help_link: /html/installations/iron.html
+    - name: User manual
+      link: /download/user-manual-26.0-beta-Iron.pdf
+    - name: Plug-in development guide
+      link: /download/plugin-development-guide-26.0-beta-Iron.pdf
+      help: Hello plug-in tutorial archive
+      help_link: /download/hello-26.0-beta-Iron.tar.gz
+    - name: API Documentation
+      link: /download/frama-c-26.0-beta-Iron-api.tar.gz
+    - name: Server API Documentation
+      link: /download/frama-c-server-26.0-beta-Iron-api.tar.gz
+    - name: ACSL 1.18 (Iron implementation)
+      link: /download/acsl-implementation-26.0-beta-Iron.pdf
+  - name: Plug-in Manuals
+    sort: true
+    files:
+    - name: Aoraï manual
+      link: /download/aorai-manual-26.0-beta-Iron.pdf
+      help: Aoraï example
+      help_link: /download/aorai-example-26.0-beta-Iron.tar.gz
+    - name: Metrics manual
+      link: /download/metrics-manual-26.0-beta-Iron.pdf
+    - name: Rte manual
+      link: /download/rte-manual-26.0-beta-Iron.pdf
+    - name: Eva manual
+      link: /download/eva-manual-26.0-beta-Iron.pdf
+    - name: WP manual
+      link: /download/wp-manual-26.0-beta-Iron.pdf
+    - name: E-ACSL manual
+      link: /download/e-acsl/e-acsl-manual-26.0-beta-Iron.pdf
+---