--- layout: default css: documentation ---
{% include headers.html header="documentation" %} {% assign versions = site.fc-versions | reverse %} {% if versions[0].beta %} {% assign beta = versions[0].name | downcase %} {% assign latest = versions[1].name | downcase %} {% else %} {% assign latest = versions[0].name | downcase %} {% endif %} {% unless page.version == latest %} {% if beta and beta == page.version %} {% assign text = "a beta" %} {% else %} {% assign text = "an older" %} {% endif %}

Note: these instructions refer to {{ text }} release of Frama-C; for the latest stable release, click here

{% endunless %} {{ content }}
{% include footer.html %}