Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper path;
authorwenzelm
Sun, 11 Sep 2022 12:23:50 +0200
changeset 76113 b62634686c72
parent 76112 41bea72acc75
child 76114 44724221b45c
child 76138 02a743911ffe
proper path;
lib/html/library_index_content.template file | annotate | diff | comparison | revisions 
--- 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