Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/install_html.sh
author slotosch
Wed, 26 Mar 1997 13:44:05 +0100
changeset 2840 7e03e61612b0
parent 2824 ec170ea5243e
permissions -rwxr-xr-x
generalized theorems and class instances for Cprod. Now "*"::(cpo,cpo)cpo and "*"::(pcpo,pcpo)pcpo

#!/bin/csh
# Executed from the Isabelle src directory, this script transfers all
# files needed for the HTML version of Isabelle's theories to the HTTP
# server.
# If you don't want to copy all the logics, you can supply the names of
# the wanted ones as parameters as in "install_html.sh HOL HOLCF".

if ( "$*" == "" ) then
  rsh www4 "rm -r .html-data/isabelle/*; mkdir .html-data/isabelle/Tools; \
            chmod og-w .html-data/isabelle/Tools"
endif

rcp index.html www4:.html-data/isabelle
rcp Tools/*.gif www4:.html-data/isabelle/Tools

if ( "$*" == "" ) then
  rcp -r CCL CTT Cube FOL FOLP HOL HOLCF LCF Sequents ZF \
         www4:.html-data/isabelle
else
  rcp -r $* www4:.html-data/isabelle
endif
rsh www4 "chgrp -R isabelle .html-data/isabelle/*; chmod -R g+w .html-data/isabelle/*"
isabelle