1<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/x 2html1/DTD/xhtml1-strict.dtd"> 3<html xmlns="http://www.w3.org/1999/xhtml"> 4<head> 5<meta http-equiv="content-type" 6 content="text/html ; charset=US-ASCII" /> 7<title>Release Notes for Kananaskis-2 version of HOL 4</title> 8</head> 9 10<body> 11<h1>Notes on HOL 4, Kananaskis-2 release</h1> 12 13<p> This release of HOL fixes the <code>Overflow</code> bug that 14afflicted the Kananaskis-1 and earlier releases. It is otherwise 15identical to <a 16href="http://hol.sourceforge.net/kananaskis-1.release.html" 17title="Release notes for Kananaskis-1">Kananaskis-1</a>. </p> 18 19<hr /> 20 21<p> <em><a href="http://hol.sourceforge.net">HOL 4, Kananaskis-2</a></em> </p> 22 23</body> </html> 24