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.
Now moves all Tool/*gif files.
authornipkow
Tue, 12 Nov 1996 13:20:36 +0100
changeset 2179 018906568ef0
parent 2178 acb0afbf61a3
child 2180 934572a94139
Now moves all Tool/*gif files.
src/Tools/install_html.sh file | annotate | diff | comparison | revisions 
--- a/src/Tools/install_html.sh	Tue Nov 12 11:57:10 1996 +0100
+++ b/src/Tools/install_html.sh	Tue Nov 12 13:20:36 1996 +0100
@@ -11,7 +11,7 @@
 endif
 
 rcp index.html www4:.html-data/isabelle
-rcp Tools/*_arrow.gif www4:.html-data/isabelle/Tools
+rcp Tools/*.gif www4:.html-data/isabelle/Tools
 
 if ( "$*" == "" ) then
   rcp -r CCL CTT Cube FOL FOLP HOL HOLCF LCF LK Modal ZF \
isabelle