Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/html/library_index_content.template
changeset 74676 d37b204e1f89
parent 74670 b2604cd4d131
child 75992 1f6d79b62222 
--- a/lib/html/library_index_content.template	Wed Nov 03 20:45:02 2021 +0100
+++ b/lib/html/library_index_content.template	Wed Nov 03 20:53:52 2021 +0100
@@ -5,7 +5,7 @@
       <ul>
         <li><a href="HOL/index.html">HOL (Higher-Order Logic)</a>
         is a version of classical higher-order logic resembling
-        that of the <a href="http://www.cl.cam.ac.uk/Research/HVG/HOL/">HOL System</a>.
+        that of the <a href="https://www.cl.cam.ac.uk/Research/HVG/HOL/">HOL System</a>.
         </li>
       </ul>
     </li>
isabelle