diff --git a/_data/plugins_categories.yml b/_data/plugins_categories.yml index 801dbf5c3d5c3fef7baa651fe8dc863a7aa9b45a..7a87f7272a91ffe8030988860f66095cc8251e6c 100644 --- a/_data/plugins_categories.yml +++ b/_data/plugins_categories.yml @@ -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 diff --git a/_fc-plugins/e-acsl.md b/_fc-plugins/e-acsl.md index 722df69c5e18ecd3841f0b2e5eb84f39241a1557..2e0c913494cde3d8b8143eb7c27f65f7b5388e2c 100644 --- a/_fc-plugins/e-acsl.md +++ b/_fc-plugins/e-acsl.md @@ -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 --- diff --git a/html/documentation.html b/html/documentation.html index 6ff08638f0b6c7312ef054cf372f85ed8ea4e265..e1a11a0be450f503c948e02f4f118439051c6f60 100755 --- a/html/documentation.html +++ b/html/documentation.html @@ -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>