<li> Download
<a
-href="http://www.splint.org/downloads/binaries/splint-3.0.1.6.FreeBSD.tgz"><em>
-http://www.splint.org/downloads/binaries/splint-3.0.1.6.FreeBSD.tgz
+href="http://www.splint.org/downloads/binaries/splint-3.0.1.7.FreeBSD.tgz"><em>
+http://www.splint.org/downloads/binaries/splint-3.0.1.7.FreeBSD.tgz
</em></a>
<p>
<p>
-<li> <tt>tar -xzf splint-3.0.1.6.FreeBSD.tgz</tt>
+<li> <tt>tar -xzf splint-3.0.1.7.FreeBSD.tgz</tt>
<blockquote>
-This will create a splint-3.0.1.6 directory, containing several
-subdirectories. The file <tt>splint-3.0.1.6/bin/splint</tt> is the Splint binary.
+This will create a splint-3.0.1.7 directory, containing several
+subdirectories. The file <tt>splint-3.0.1.7/bin/splint</tt> is the Splint binary.
</blockquote>
<p>
<blockquote>
<tt>LARCH_PATH</tt> - path to search for splint libraries and
initializations files. If you are using the standard directories, this
-should be <em>".:base-directory/splint-3.0.1.6/lib"</em>.
+should be <em>".:base-directory/splint-3.0.1.7/lib"</em>.
<p>
<tt>LCLIMPORTDIR</tt> - directory containing lcl imports files. If you are using
-the standard directories, this is <em>base-directory/splint-3.0.1.6/imports</em>.
+the standard directories, this is <em>base-directory/splint-3.0.1.7/imports</em>.
<p>
(usually <tt>~/.environment</tt>).
<p>
Set up your command path to include the directory containing
-<tt>splint-3.0.1.6/bin/splint</tt>, or move the binary to a directory in
+<tt>splint-3.0.1.7/bin/splint</tt>, or move the binary to a directory in
your command path.
<p>
<li> Download
<a
-href="http://www.splint.org/downloads/binaries/splint-3.0.1.6.Linux.tgz"><em>
-http://www.splint.org/downloads/binaries/splint-3.0.1.6.Linux.tgz
+href="http://www.splint.org/downloads/binaries/splint-3.0.1.7.Linux.tgz"><em>
+http://www.splint.org/downloads/binaries/splint-3.0.1.7.Linux.tgz
</em></a>
<p>
<p>
-<li> <tt>tar -xzf splint-3.0.1.6.Linux.tgz</tt>
+<li> <tt>tar -xzf splint-3.0.1.7.Linux.tgz</tt>
<blockquote>
-This will create a splint-3.0.1.6 directory, containing several
-subdirectories. The file <tt>splint-3.0.1.6/bin/splint</tt> is the Splint binary.
+This will create a splint-3.0.1.7 directory, containing several
+subdirectories. The file <tt>splint-3.0.1.7/bin/splint</tt> is the Splint binary.
</blockquote>
<p>
<blockquote>
<tt>LARCH_PATH</tt> - path to search for splint libraries and
initializations files. If you are using the standard directories, this
-should be <em>".:base-directory/splint-3.0.1.6/lib"</em>.
+should be <em>".:base-directory/splint-3.0.1.7/lib"</em>.
<p>
<tt>LCLIMPORTDIR</tt> - directory containing lcl imports files. If you are using
-the standard directories, this is <em>base-directory/splint-3.0.1.6/imports</em>.
+the standard directories, this is <em>base-directory/splint-3.0.1.7/imports</em>.
<p>
(usually <tt>~/.environment</tt>).
<p>
Set up your command path to include the directory containing
-<tt>splint-3.0.1.6/bin/splint</tt>, or move the binary to a directory in
+<tt>splint-3.0.1.7/bin/splint</tt>, or move the binary to a directory in
your command path.
<p>
<li> Download
<a
-href="http://www.splint.org/downloads/binaries/splint-3.0.1.6.SunOS.tgz"><em>
-http://www.splint.org/downloads/binaries/splint-3.0.1.6.SunOS.tgz
+href="http://www.splint.org/downloads/binaries/splint-3.0.1.7.SunOS.tgz"><em>
+http://www.splint.org/downloads/binaries/splint-3.0.1.7.SunOS.tgz
</em></a>
<p>
<p>
-<li> <tt>tar -xzf splint-3.0.1.6.SunOS.tgz</tt>
+<li> <tt>tar -xzf splint-3.0.1.7.SunOS.tgz</tt>
<blockquote>
-This will create a splint-3.0.1.6 directory, containing several
-subdirectories. The file <tt>splint-3.0.1.6/bin/splint</tt> is the Splint binary.
+This will create a splint-3.0.1.7 directory, containing several
+subdirectories. The file <tt>splint-3.0.1.7/bin/splint</tt> is the Splint binary.
</blockquote>
<p>
<blockquote>
<tt>LARCH_PATH</tt> - path to search for splint libraries and
initializations files. If you are using the standard directories, this
-should be <em>".:base-directory/splint-3.0.1.6/lib"</em>.
+should be <em>".:base-directory/splint-3.0.1.7/lib"</em>.
<p>
<tt>LCLIMPORTDIR</tt> - directory containing lcl imports files. If you are using
-the standard directories, this is <em>base-directory/splint-3.0.1.6/imports</em>.
+the standard directories, this is <em>base-directory/splint-3.0.1.7/imports</em>.
<p>
(usually <tt>~/.environment</tt>).
<p>
Set up your command path to include the directory containing
-<tt>splint-3.0.1.6/bin/splint</tt>, or move the binary to a directory in
+<tt>splint-3.0.1.7/bin/splint</tt>, or move the binary to a directory in
your command path.
<p>