# HG changeset patch
# User wenzelm
# Date 1295113782 -3600
# Node ID 220bc60c23874561f3d381f50955b1f6c85bab1c
# Parent  4031fb078acc53767ca0c2dd1f3128769d5d56e3
link HOL-Proofs/index.html, which is not reachable from regular HOL/index.html;

diff -r 4031fb078acc -r 220bc60c2387 lib/html/library_index_content.template
--- a/lib/html/library_index_content.template	Sat Jan 15 18:12:26 2011 +0100
+++ b/lib/html/library_index_content.template	Sat Jan 15 18:49:42 2011 +0100
@@ -8,6 +8,10 @@
         that of the <a href="http://www.cl.cam.ac.uk/Research/HVG/HOL/">HOL System</a>.
         </li>
       </ul>
+      <ul>
+        <li>HOL with explicit <a href="HOL-Proofs/index.html">proof terms</a>.
+        </li>
+      </ul>
     </li>
   </ul>