Admin/page/dist-layout/navigation.html

--- a/Admin/page/dist-layout/navigation.html	Mon Sep 11 17:40:41 2000 +0200
+++ b/Admin/page/dist-layout/navigation.html	Mon Sep 11 17:41:34 2000 +0200
@@ -1,8 +1,7 @@
 <p>
 &nbsp;
 <center>
-<a href="index.html"><img src="{ISABELLE}/lib/logo/isabelle.gif" 
-width="100" height="86" alt="[Isabelle logo]" border="0"></a>
+<a href="index.html"><img src="isabelle.gif" width="100" height="86" alt="[Isabelle logo]" border="0"></a>
 </center>
 <p>
 <center>