diff -r 85a5355faa91 -r 21bfc8c14c3d Admin/page/main-layout/navigation.html
--- 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) -->