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 76113 b62634686c72
parent 75992 1f6d79b62222 
--- a/lib/html/library_index_content.template	Sun Sep 11 10:26:41 2022 +0200
+++ b/lib/html/library_index_content.template	Sun Sep 11 12:23:50 2022 +0200
@@ -16,7 +16,7 @@
 
     <li style="list-style: none">
       <ul>
-        <li><a href="ZF/index.html">ZF (Set Theory)</a>
+        <li><a href="FOL/ZF/index.html">ZF (Set Theory)</a>
         offers a formulation of Zermelo-Fraenkel set theory on top of FOL.
         </li>
isabelle