klee/www/menu.html.incl

<div id="menu">
  <div>
    <a href="http://klee.llvm.org/">KLEE Home</a>
  </div>

  <div class="submenu">
    <label>KLEE Info</label>
    <a href="GetStarted.html">Getting Started</a>
    <a href="GetInvolved.html">Get Involved</a>
    <a href="Documentation.html">Documentation</a>
    <a href="Tutorials.html">Tutorials</a>
    <a href="Publications.html">Publications</a>
    <a href="OpenProjects.html">Open Projects</a>
  </div>

  <div class="submenu">
    <label>Quick Links</label>
    <a href="klee-dev.html">klee-dev (mailing list)</a>
    <a href="GetInvolved.html#BugReports">Bug Reports</a>
    <a href="http://llvm.org/">LLVM Home</a>
  </div>

  <div class="submenu">
    <label>Development &amp; Code</label>
    <a href="http://klee.minormatter.com:8010/">Buildbot</a>
    <a href="http://llvm.org/svn/llvm-project/klee/trunk/">Browse SVN</a>
    <a href="http://llvm.org/viewvc/llvm-project/klee/trunk/">Browse ViewVC</a>
    <a href="http://test.minormatter.com/~ddunbar/klee-doxygen/index.html">Browse Doxygen</a>
    <a href="http://test.minormatter.com/~ddunbar/klee-cov/index.html">Testing Coverage</a>
  </div>
</div>