Fix footer of K-8 release notes.

HOL-Theorem-Prover · Oct 23, 2011 · d2c0f10 · d2c0f10
1 parent a30701a
commit d2c0f10
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/kananaskis-8.release.html b/doc/kananaskis-8.release.html
@@ -109,6 +109,6 @@ <h2 id="incompatibilities">Incompatibilities:</h2>
 
 <hr>
 
-<p><em><a href="http://hol.sourceforge.net">HOL 4, Kananaskis-7</a></em></p>
+<p><em><a href="http://hol.sourceforge.net">HOL 4, Kananaskis-8</a></em></p>
 
 </body> </html>