Created new html version of the manual by manually editing the html of the new html...

[splint.git] / doc / html / header.html

<table border="0" rules="none" bgcolor="#FFFFFF" width="95%" align=center cellpadding=0 cellspacing=0>
<tr>
<td colspan=2 bgcolor="#FFFFFF"></td>
</tr>
<tr>
<td colspan=2 bgcolor="#FFFFFF"></td>
</tr>
<tr>
<td colspan=2 bgcolor="#FFFFFF"></td>
</tr>
<tr>
<td colspan=2 bgcolor="#FFFFFF"></td>
</tr>
<tr>
<td colspan=2 bgcolor="#FFFFFF"></td>
</tr>
<tr>
<td colspan=2 bgcolor="#FFFFFF"></td>
</tr>
<tr>
<td>
<font color="darkblue" face="arial,helvetica"><a href="http://www.splint.org/"><b>Splint</b> - Secure Programming Lint</a><br></font>
</td>
<td align=right>
<font face="arial,helvetica,sans-serif"><font color="darkblue">
<font size=-1>
<a href="mailto:info@splint.org">info@splint.org</a></font>
</font></font>
</td>
</tr>
<tr>
<td colspan=2 bgcolor="darkblue"></td>
</tr>
<tr>
<td colspan=2 bgcolor="darkblue"></td>
</tr>
<tr>
<td colspan=2 bgcolor="white"></td>
</tr>
<tr>
<td colspan=2 bgcolor="slate"></td>
</tr>
<tr>
<td>
<font face="arial,helvetica,sans-serif" size=-1>
<a
href="http://www.splint.org/download.html">Download</a>
- 
<A
HREF="http://www.splint.org/documentation/">Documentation</a>
-
<a href="http://www.splint.org/manual/">Manual</a>
-
<a
href="http://www.splint.org/links.html">Links</a>
</font>
</td>
<td align=right>
<font face="arial,helvetica,sans-serif" size=-1>
<a
href="http://www.splint.org/bugs.html">Reporting
Bugs</a> -
<a
href="http://www.splint.org/lists.html">Mailing
Lists</a> &nbsp;&nbsp;&nbsp;&nbsp;
<a
href="http://www.splint.org/sponsors.html">Sponsors</a>
-
<a
href="http://www.splint.org/credits.html">Credits</a>
</font>
</td>
</tr>
</table>

<p>
<blockquote>