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

Cosmetic changes in documentation

parent 5faac14c
No related branches found
No related tags found
1 merge request!53Fix more dead links
......@@ -13,11 +13,11 @@
- name: Code transformation
key: code
- name: For browsing unfamiliar code
- name: Browsing unfamiliar code
key: browsing
- name: Front-end for other languages
- name: Front-ends for other languages
key: front
- name: For concurrent/multi-threaded programs
- name: Concurrent/multi-threaded programs
key: concurrent
......@@ -5,11 +5,11 @@ description: Runtime Verification Tool
key: main
manual_pdf: http://frama-c.com/download/e-acsl/e-acsl-manual.pdf
additional:
- name: "E-ACSL Language Reference Manual"
short: "Language Reference"
- name: "E-ACSL language reference manual"
short: "Language reference"
link: http://frama-c.com/download/e-acsl/e-acsl.pdf
- name: "E-ACSL Language Reference Implementation Manual"
short: "Language Implementation"
short: "Language implementation"
link: http://frama-c.com/download/e-acsl/e-acsl-implementation.pdf
distrib_mode: main
---
......
......@@ -23,7 +23,7 @@ title: Documentation - Frama-C
<h4 class="tileTitle"><span>Frama-C</span></h4>
<ul>
<li><a href="/html/kernel.html">Description page</a></li>
<li><a href="/download/frama-c-user-manual.pdf">User Manual</a></li>
<li><a href="/download/frama-c-user-manual.pdf">User manual</a></li>
<li><a href="https://git.frama-c.com/pub/frama-c/blob/master/INSTALL.md">Installation</a></li>
<li><a href="/html/get-frama-c.html">Releases</a></li>
<li><a href="/html/publications.html">List of publications</a></li>
......@@ -35,17 +35,17 @@ title: Documentation - Frama-C
<h4 class="tileTitle"><span>ACSL</span></h4>
<ul>
<li><a href="/html/acsl.html">Description page</a></li>
<li><a href="/download/acsl.pdf">Language Reference</a></li>
<li><a href="/download/frama-c-acsl-implementation.pdf">Language Implementation</a></li>
<li><a href="https://github.com/acsl-language/acsl">ACSL Git Repository</a></li>
<li><a href="/download/acsl.pdf">Language reference</a></li>
<li><a href="/download/frama-c-acsl-implementation.pdf">Language implementation</a></li>
<li><a href="https://github.com/acsl-language/acsl">ACSL Git repository</a></li>
<li><a href="https://github.com/fraunhoferfokus/acsl-by-example/blob/master/ACSL-by-Example.pdf">ACSL by Example</a></li>
</ul>
</div>
<div class="tile">
<h4 class="tileTitle"><span>Contributing</span></h4>
<ul>
<li><a href="https://git.frama-c.com/pub/frama-c/">Frama-C Git Repository</a></li>
<li><a href="https://git.frama-c.com/pub/pub.frama-c.com/">Website Git Repository</a></li>
<li><a href="https://git.frama-c.com/pub/frama-c/">Frama-C Git repository</a></li>
<li><a href="https://git.frama-c.com/pub/pub.frama-c.com/">Website Git repository</a></li>
<li><a href="https://git.frama-c.com/pub/frama-c/blob/master/CONTRIBUTING.md">Contributer guide</a></li>
<li><a href="https://git.frama-c.com/pub/frama-c/-/issues">Known issues</a></li>
<li><a href="/html/bug_reporting_guidelines.html">Bug reporting guide</a></li>
......@@ -60,7 +60,7 @@ title: Documentation - Frama-C
<div class="tile">
<h4 class="tileTitle"><span>Plugin Development</span></h4>
<ul>
<li><a href="/download/frama-c-plugin-development-guide.pdf">Developer Manual</a></li>
<li><a href="/download/frama-c-plugin-development-guide.pdf">Developer manual</a></li>
</ul>
</div>
{% for plugin in site.fc-plugins %}
......@@ -77,7 +77,7 @@ title: Documentation - Frama-C
<ul>
<li><a href="{{plugin.url}}">Description page</a></li>
{% if plugin.manual_pdf %}
<li><a href="{{plugin.manual_pdf}}">User Manual</a></li>
<li><a href="{{plugin.manual_pdf}}">User manual</a></li>
{% endif %}
{% for add in plugin.additional %}
<li><a href="{{add.link}}">{% if add.short %}{{add.short}}{% else %}{{add.name}}{% endif %}</a></li>
......
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