16233
|
1 |
<?xml version='1.0' encoding='iso-8859-1' ?>
|
|
2 |
<!DOCTYPE div PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
16239
|
3 |
<!-- $Id$ -->
|
16233
|
4 |
<div id="navigation">
|
|
5 |
<h2>Navigation</h2>
|
|
6 |
<ul>
|
|
7 |
<?navitem target="index.html" title="Home" ?>
|
|
8 |
<?navitem target="overview.html" title="Overview" ?>
|
|
9 |
<?navitem target="logics.html" title="Logics" ?>
|
16674
|
10 |
<?navitem target="installation.html" title="Installation" ?>
|
17677
|
11 |
<?navitem target="download.html" title="Download" ?>
|
16674
|
12 |
<?navitem target="documentation.html" title="Documentation" ?>
|
16233
|
13 |
<?navitem target="community.html" title="Community" ?>
|
17687
|
14 |
</ul>
|
|
15 |
<div class="hr"><hr/></div>
|
|
16 |
<ul>
|
16674
|
17 |
<li><?include file="//include/mirrorlist.include.html"?></li>
|
16233
|
18 |
</ul>
|
|
19 |
</div>
|