<?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="community.html" title="Community" ?>
<?navitem target="dist/index.html" title="Distribution" ?>
</ul>
</div>