Mention fix of bug #115 in the release notes.

HOL-Theorem-Prover · Aug 12, 2013 · ae9afee · ae9afee
1 parent c7c6bfc
commit ae9afee
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/doc/kananaskis-9.release.html b/doc/kananaskis-9.release.html
@@ -57,6 +57,8 @@ <h2 id="bugs-fixed">Bugs fixed:</h2>
 <ul>
 <li><p> Type abbreviations involving array types (of the form <code>ty1[ty2]</code>) weren’t being pretty-printed.
 Thanks to Hamed Nemati for the bug report.
+
+<li><p> It was possible to prove a theorem which caused an unexportable theory.  Thanks to Joseph Chan for the bug report.
 </ul>
 
 <h2 id="new-theories">New theories:</h2>