equal
deleted
inserted
replaced
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"> |
|
3 <!-- $Id$ --> |
|
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" ?> |
|
10 <?navitem target="installation.html" title="Installation" ?> |
|
11 <?navitem target="download.html" title="Download" ?> |
|
12 <?navitem target="documentation.html" title="Documentation" ?> |
|
13 <?navitem target="community.html" title="Community" ?> |
|
14 </ul> |
|
15 <div class="hr"><hr/></div> |
|
16 <ul> |
|
17 <li><?include file="//include/mirrorlist.include.html"?></li> |
|
18 </ul> |
|
19 </div> |
|