Admin/website/include/navigation.include.html
author wenzelm
Tue, 27 Sep 2005 17:01:10 +0200
changeset 17677 9763b78adb1b
parent 16674 bf2cd93cc245
child 17687 52157349e006
permissions -rw-r--r--
renamed "Packages" to "Download";
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
     1
<?xml version='1.0' encoding='iso-8859-1' ?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
     2
<!DOCTYPE div PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
16239
5be516f79075 added shellcmd style
haftmann
parents: 16233
diff changeset
     3
<!-- $Id$ -->
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
     4
<div id="navigation">
e634d33deb86 added new website
haftmann
parents:
diff changeset
     5
    <h2>Navigation</h2>
e634d33deb86 added new website
haftmann
parents:
diff changeset
     6
    <ul>
e634d33deb86 added new website
haftmann
parents:
diff changeset
     7
        <?navitem target="index.html"           title="Home"                           ?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
     8
        <?navitem target="overview.html"        title="Overview"                       ?>
e634d33deb86 added new website
haftmann
parents:
diff changeset
     9
        <?navitem target="logics.html"          title="Logics"                         ?>
16674
bf2cd93cc245 unified main and dist
haftmann
parents: 16239
diff changeset
    10
        <?navitem target="installation.html"    title="Installation"                   ?>
17677
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents: 16674
diff changeset
    11
        <?navitem target="download.html"        title="Download"                       ?>
16674
bf2cd93cc245 unified main and dist
haftmann
parents: 16239
diff changeset
    12
        <?navitem target="documentation.html"   title="Documentation"                  ?>
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    13
        <?navitem target="community.html"       title="Community"                      ?>
16674
bf2cd93cc245 unified main and dist
haftmann
parents: 16239
diff changeset
    14
        <li><?include file="//include/mirrorlist.include.html"?></li>
16233
e634d33deb86 added new website
haftmann
parents:
diff changeset
    15
    </ul>
e634d33deb86 added new website
haftmann
parents:
diff changeset
    16
</div>