[69143c]: web / entries / nav.html Maximize Restore History

Download this file

nav.html    36 lines (31 with data), 996 Bytes

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
<!-- navigation bar -->
<p>&nbsp;</p>
<a href="http://isabelle.in.tum.de"><img src="../images/isabelle.png"
width="100" height="86" border=0></a>
<p>&nbsp;</p>
<p>&nbsp;</p>
<table class="nav" width="80%">
<tr>
<td class="nav" width="100%"><a href="../index.shtml">Home</a></td>
</tr>
<tr>
<td class="nav"><a href="../about.shtml">About</a></td>
</tr>
<tr>
<td class="nav"><a href="../submitting.shtml">Submission Guidelines</a></td>
</tr>
<tr>
<td class="nav"><a href="../search.shtml">Search</a></td>
</tr>
<tr>
<td class="nav"><a href="../download.shtml">Download</a></td>
</tr>
</table>
<p>&nbsp;</p>
<p>&nbsp;</p>
<a href="http://sourceforge.net"><img
src="http://sourceforge.net/sflogo.php?group_id=101909&amp;type=1"
width="88" height="31" border="0" alt="SourceForge.net Logo" /></a>
<br>
<font size="-1"><a
href="http://sourceforge.net/projects/afp/">project summary</a></font>