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

Improves download page

parent 41440d47
No related branches found
No related tags found
1 merge request!95Improves download and plugins pages
File added
......@@ -77,21 +77,23 @@ opam depext --install -y frama-c</pre>
</div>
<div class="otherConfiguration">
For detailed installation instructions, <a target="_blank" href="https://git.frama-c.com/pub/frama-c/blob/master/INSTALL.md">click here</a>
<br>Previous Frama-C versions are available <a href="/html/framac-versions.html">from this page</a>
<br>All Frama-C releases are available <a href="/html/framac-versions.html">from this page</a>
</div>
{% if site.fc-versions.last.beta %}
<div class="otherVersion">
The beta version of the next Frama-C release is available <a href="{{ site.fc-versions.last.url }}">here</a>
</div>
{% endif %}
<h1 class="pageTitle">Manuals</h1>
<h1 class="pageTitle">Downloads</h1>
<div class="tileWrapper" size="big">
<div class="tile">
<h4 class="tileTitle"><span>Frama-C and ACSL</span></h4>
<ul>
<li><a href="/download/frama-c-source-dist.tar.gz">Frama-C source distribution</a></li>
<li><a href="/download/frama-c-user-manual.pdf">Frama-C user manual</a></li>
<li><a href="/download/frama-c-plugin-development-guide.pdf">Plug-in development guide</a></li>
<li><a href="/download/frama-c-acsl-implementation.pdf">ACSL implementation</a></li>
<li><a href="/download/e-acsl/e-acsl-implementation.pdf">E-ACSL implementation</a></li>
</ul>
</div>
<div class="tile">
......@@ -106,13 +108,6 @@ opam depext --install -y frama-c</pre>
</a>
</li>
{% endif %}
{% for add in plugin.additional %}
{% if add.name_for_main_dl %}
<li>
<a href="{{ add.link }}">{{ add.name_for_main_dl }}</a>
</li>
{% endif %}
{% endfor %}
{% endfor %}
</ul>
</div>
......
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