<?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">
<?cvs id="$Id$"?>
<div id="navigation">
<h2>Navigation</h2>
<ul>
<?navitem target="index.html" title="Mirrors" ?>
<?navitem target="installation.html" title="Installation" ?>
<?navitem target="download.html" title="Download" ?>
<?navitem target="documentation.html" title="Documentation" ?>
<?navitem target="others.html" title="Other links" ?>
</ul>
</div>