--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/website/include/navigation.include.html	Sat Jun 04 10:26:08 2005 +0200
@@ -0,0 +1,13 @@
+<?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="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>