# HG changeset patch # User wenzelm # Date 876731481 -7200 # Node ID 97bb3ff3c771d4becd5ee001590f99ccf9a56e1c # Parent d5905b98291fba97ff335d5d5ab354aa3308c64a non-transparent logo; diff -r d5905b98291f -r 97bb3ff3c771 lib/Tools/usedir --- 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