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

More information on "Get Frama-C"

parent 824e1af5
No related branches found
No related tags found
1 merge request!56Provide more information on the Get Frama-C page
......@@ -98,27 +98,13 @@
opacity: 0.75;
}
.getFramaC .otherConfiguration {
text-align: center;
font-size: 14px;
font-weight: 600;
margin: 20px 0 -20px;
color: #999;
}
@media (min-width: 1280px) {
.getFramaC .otherConfiguration {
position: absolute;
top: 50%;
right: 0;
z-index: 1;
max-width: 200px;
margin: 50px 0 0;
font-size: 16px;
}
margin-bottom: 40px;
}
.getFramaC .notebook {
width: 80%;
height: 20%;
margin-bottom: 20px;
margin-top: 30px;
margin-bottom: 30px;
margin-left: auto;
margin-right: auto;
max-width: 2000px;
......
......@@ -15,6 +15,7 @@
position: relative;
background-color: var(--tile-color);
box-sizing: border-box;
text-align: left;
}
.tileWrapper[size="big"] .tile {
padding: 40px 35px 40px 45px;
......
......@@ -4,6 +4,8 @@ css: get-framac
title: Get Frama-C
---
<body class="page nonTouch">
<div id="wrapper" class="hfeed">
{% include headers.html header="download" %}
......@@ -18,10 +20,6 @@ title: Get Frama-C
</div>
<br>
<a href="/html/framac-versions.html" class="previousVersion">Previous Versions</a>
<div class="otherConfiguration">
For detailed installation instructions, <a target="_blank" href="https://git.frama-c.com/pub/frama-c/blob/master/INSTALL.md" class="lineMove">click here</a>
</div>
<div class="notebook code">
<div>
<div class="codeScreen">
......@@ -77,6 +75,38 @@ opam depext --install -y frama-c</pre>
</div>
</div>
</div>
<div class="otherConfiguration">
For detailed installation instructions, <a target="_blank" href="https://git.frama-c.com/pub/frama-c/blob/master/INSTALL.md" class="lineMove">click here</a>
</div>
<h1 class="pageTitle">Manuals</h1>
<div class="tileWrapper" size="small">
<div class="tileWrapperTitle">
<span>Frama-C and ACSL</span>
</div>
<a class="tile" href="/download/frama-c-user-manual.pdf">
<h4 class="tileTitle"><span>Frama-C user manual</span></h4>
</a>
<a class="tile" href="/download/frama-c-plugin-development-guide.pdf">
<h4 class="tileTitle"><span>Plug-in development guide</span></h4>
</a>
<a class="tile" href="/download/frama-c-acsl-implementation.pdf">
<h4 class="tileTitle"><span>ACSL implementation</span></h4>
</a>
</div>
<div class="tileWrapper" size="small">
<div class="tileWrapperTitle">
<span>Plug-ins</span>
</div>
{% assign plugins = site.fc-plugins | where:"distrib_mode","main" %}
{% for plugin in plugins %}
{% if plugin.manual_pdf %}
<a class="tile" href="{{ plugin.manual_pdf }}">
<h4 class="tileTitle">
<span>{% if plugin.short %}{{ plugin.short }}{% else %}{{ plugin.title }}{% endif %} manual</span></h4>
</a>
{% endif %}
{% endfor %}
</div>
</div>
</div>
......@@ -86,3 +116,4 @@ opam depext --install -y frama-c</pre>
</div>
</div>
<head><script type='text/javascript' src='/assets/js/codeTabs.js'></script></head>
</body>
\ No newline at end of file
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