--- a/lib/Tools/usedir Mon Oct 13 10:22:28 1997 +0200
+++ b/lib/Tools/usedir Mon Oct 13 10:31:21 1997 +0200
@@ -76,7 +76,7 @@
if [ $INFO = "true" -a ! -d $ISABELLE_BROWSER_INFO ]; then
mkdir -p $ISABELLE_BROWSER_INFO/gif
cp $ISABELLE_HOME/lib/images/*arrow.gif $ISABELLE_BROWSER_INFO/gif
- cp $ISABELLE_HOME/lib/logo/isabelle_transparent.gif $ISABELLE_BROWSER_INFO/gif/isabelle.gif
+ cp $ISABELLE_HOME/lib/logo/isabelle.gif $ISABELLE_BROWSER_INFO/gif/isabelle.gif
cp $ISABELLE_HOME/lib/html/index1.html $ISABELLE_BROWSER_INFO/index.html
mkdir -p $ISABELLE_BROWSER_INFO/graph
cp $ISABELLE_HOME/lib/html/index2.html $ISABELLE_BROWSER_INFO/graph/index.html