Skip to content
Snippets Groups Projects
Normal view Permalink
tutorials.html 1.19 KiB
Newer Older
Allan Blanchard's avatar
New tutorials page
Allan Blanchard committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 
---
layout: default
title: Tutorials
css: publications
---

<body class="page-template page-template-page-documentation page-template-page-documentation-php page page-id-20 nonTouch">
  <div id="wrapper" class="hfeed">
    {% include headers.html header="documentation" %}    

    <div id="container" class="mainContainer">
      <div class="pagePublications pages">
        <div class="wrap" has-nav="no">
          <h1 class="pageTitle">Tutorials</h1>

          <h1 id="general" class="anchor"> Frama-C General </h1>
         
          {% include publication-entries.html
             category="tutorials" plugin="general" %}
          
          {% for category in site.data.publications %}
            {% for plugin in category.plugins %}
              {% assign publis = site.fc-publications | where:"plugin",plugin.id | where:"category","tutorials" %}
              {% if 0 != publis.size %}
                <h1 id="{{ plugin.id }}" class="anchor"> {{ plugin.name }} </h3>
                {% include publication-entries.html
                   category="tutorials" plugin=plugin.id %}
              {% endif %}
            {% endfor %}
          {% endfor %}
        </div>
      </div>
    </div>
  </div>
</body>