Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added command for copying new logo.
authorberghofe
Sun, 12 Oct 1997 22:04:06 +0200
changeset 3844 7704dc8997ed
parent 3843 162f95673705
child 3845 7fde09d61bc0
Added command for copying new logo.
lib/Tools/usedir file | annotate | diff | comparison | revisions 
--- a/lib/Tools/usedir	Fri Oct 10 19:13:58 1997 +0200
+++ b/lib/Tools/usedir	Sun Oct 12 22:04:06 1997 +0200
@@ -75,7 +75,8 @@
 
 if [ $INFO = "true" -a ! -d $ISABELLE_BROWSER_INFO ]; then
   mkdir -p $ISABELLE_BROWSER_INFO/gif
-  cp $ISABELLE_HOME/lib/images/*.gif $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/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
isabelle