changeset 9285 | 21bfc8c14c3d |
parent 8070 | dbbef2367723 |
child 9920 | 9734f2717203 |
--- a/Admin/page/main-layout/navigation.html Mon Jul 10 12:17:34 2000 +0200 +++ b/Admin/page/main-layout/navigation.html Wed Jul 12 14:46:28 2000 +0200 @@ -9,7 +9,7 @@ <!-- _GP_ setnavcolor("#F0F0F0") --> <!-- _GP_ page("Home", "index") --> <!-- _GP_ empty_line(3) --> -<!-- _GP_ page("Isabelle?", "about") --> +<!-- _GP_ page("Logics", "logics") --> <!-- _GP_ empty_line(3) --> <!-- _GP_ page("Documentation", "docs") --> <!-- _GP_ empty_line(3) -->