# HG changeset patch
# User huffman
# Date 1290907761 28800
# Node ID cce37f6d4b6964478c666fa2ef76c8d68096bccf
# Parent  ed7a4eadb2f60430822a6ca3d625a434fb346283
update web description of HOLCF;
fix broken link to HOLCF/index.html

diff -r ed7a4eadb2f6 -r cce37f6d4b69 lib/html/library_index_content.template
--- a/lib/html/library_index_content.template	Sat Nov 27 17:14:29 2010 -0800
+++ b/lib/html/library_index_content.template	Sat Nov 27 17:29:21 2010 -0800
@@ -8,9 +8,11 @@
         that of the <a href="http://www.cl.cam.ac.uk/Research/HVG/HOL/">HOL System</a>.
         </li>
 
-        <li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
-        adds Scott's Logic for Computable Functions (domain theory) to HOL.
-        </li>
+        <ul>
+          <li><a href="HOL/HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
+          formalizes a model of Scott's Logic for Computable Functions (domain theory) in HOL.
+          </li>
+        </ul>
       </ul>
     </li>
   </ul>