author nipkow
Mon, 25 Nov 1996 08:25:39 +0100
changeset 2221 39077a563a82
parent 2179 018906568ef0
child 2804 889d99613720
permissions -rwxr-xr-x
Replaced LK&Modal by Sequents

# Executed from the main Isabelle 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 " HOL HOLCF".

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

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 \
  rcp -r $* www4:.html-data/isabelle
rsh www4 "chgrp -R isabelle .html-data/isabelle/*;                                       chmod -R g+w .html-data/isabelle/*"