{% 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 }}