diff --git a/_fc-versions/chlorine.md b/_fc-versions/chlorine.md index a2e81ba931c6c2adf70b6018659c278360c492cb..2010b64b722d85152feef6e8b3c1bc2a99814a42 100755 --- a/_fc-versions/chlorine.md +++ b/_fc-versions/chlorine.md @@ -14,8 +14,10 @@ releases: help_link: /html/installations/chlorine.html - name: User manual 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_link: download/hello-Chlorine-20180501.tar.gz + help_link: /download/hello-Chlorine-20180501.tar.gz - name: API Documentation link: /download/frama-c-Chlorine-20180501_api.tar.gz - name: ACSL 1.13 (Chlorine implementation) diff --git a/_fc-versions/sulfur.md b/_fc-versions/sulfur.md index 6e21d0045f6747a14889b2d77e6a0413641f2d3a..0808a4307be24bf888c8a5f23ecb10f427b45516 100755 --- a/_fc-versions/sulfur.md +++ b/_fc-versions/sulfur.md @@ -14,8 +14,10 @@ releases: help_link: /html/installations/sulfur.html - name: User manual 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_link: download/hello-Sulfur-20171101.tar.gz + help_link: /download/hello-Sulfur-20171101.tar.gz - name: API Documentation link: /download/frama-c-Sulfur-20171101_api.tar.gz - name: ACSL 1.12 (Sulfur implementation)