coq-package-index.html

<#def TITLE>Coq Package Index</#def>
<#def HEAD>
<link rel="stylesheet" type="text/css" href="/styles/barron/style.css"/>
<link rel="stylesheet" type="text/css" href="/styles/package-index.css"/>
</#def>
<#include "incl/header.html">
<div id="filters">

  <div class="framework">
  <div class="frameworklabel" style="color:black;font-weight:bold">
    Active filters
  </div>
  <div class="frameworkcontent">
  <input type="text" id="custom-filter" onkeyup="update_filter()" autofocus>
  <div id="f-selected">
  </div>
  </div>
  </div>

  <div class="framework">
  <div class="frameworklabel" style="color:black;font-weight:bold">
    Available suites
  </div>
  <div class="frameworkcontent">
  <div id="f-suites"> <!-- filled in by js --> </div>
  </div>
  </div>

  <div class="framework">
  <div class="frameworklabel" style="color:black;font-weight:bold">
    Available categories
  </div>
  <div class="frameworkcontent">
  <div id="f-categories"> <!-- filled in by js --> </div>
  </div>
  </div>

  <div class="framework">
  <div class="frameworklabel" style="color:black;font-weight:bold">
    Available keywords
  </div>
  <div class="frameworkcontent">
  <div id="f-keywords"> <!-- filled in by js --> </div>
  <div class="clear"> <!-- stop floating contents --> </div>
  </div>
  </div>

</div>

<div id="packages">
  <div class="frameworkcontent">
   <table>
  <tbody id="data">
  </tbody>
  </table>
  </div>

</div>

<script src="/scripts/filter.js"/></script>
<script src="/scripts/packages.js"></script>

<#include "incl/footer.html">