<?xml version='1.0' encoding='iso-8859-1' ?>
<!DOCTYPE div PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<!-- $Id$ -->
<div id="navigation">
<h2>Navigation</h2>
<ul>
<?navitem target="index.html" title="Home" ?>
<?navitem target="overview.html" title="Overview" ?>
<?navitem target="logics.html" title="Logics" ?>
<?navitem target="installation.html" title="Installation" ?>
<?navitem target="download.html" title="Download" ?>
<?navitem target="documentation.html" title="Documentation" ?>
<?navitem target="community.html" title="Community" ?>
</ul>
<div class="hr"><hr/></div>
<ul>
<li><?include file="//include/mirrorlist.include.html"?></li>
</ul>
</div>