Skip to content
Snippets Groups Projects
Commit d0122196 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Fixes versions 16 and 17

parent a1cefe3b
No related branches found
No related tags found
1 merge request!65Improved version pages
...@@ -14,8 +14,10 @@ releases: ...@@ -14,8 +14,10 @@ releases:
help_link: /html/installations/chlorine.html help_link: /html/installations/chlorine.html
- name: User manual - name: User manual
link: /download/user-manual-Chlorine-20180501.pdf link: /download/user-manual-Chlorine-20180501.pdf
- name: Plugin-In development guide
link: /download/plugin-development-guide-Chlorine-20180501.pdf
help: Hello plug-in tutorial archive help: Hello plug-in tutorial archive
help_link: download/hello-Chlorine-20180501.tar.gz help_link: /download/hello-Chlorine-20180501.tar.gz
- name: API Documentation - name: API Documentation
link: /download/frama-c-Chlorine-20180501_api.tar.gz link: /download/frama-c-Chlorine-20180501_api.tar.gz
- name: ACSL 1.13 (Chlorine implementation) - name: ACSL 1.13 (Chlorine implementation)
......
...@@ -14,8 +14,10 @@ releases: ...@@ -14,8 +14,10 @@ releases:
help_link: /html/installations/sulfur.html help_link: /html/installations/sulfur.html
- name: User manual - name: User manual
link: /download/user-manual-Sulfur-20171101.pdf link: /download/user-manual-Sulfur-20171101.pdf
- name: Plugin-In development guide
link: /download/plugin-development-guide-Sulfur-20171101.pdf
help: Hello plug-in tutorial archive help: Hello plug-in tutorial archive
help_link: download/hello-Sulfur-20171101.tar.gz help_link: /download/hello-Sulfur-20171101.tar.gz
- name: API Documentation - name: API Documentation
link: /download/frama-c-Sulfur-20171101_api.tar.gz link: /download/frama-c-Sulfur-20171101_api.tar.gz
- name: ACSL 1.12 (Sulfur implementation) - name: ACSL 1.12 (Sulfur implementation)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment