# HG changeset patch
# User clasohm
# Date 814708142 -3600
# Node ID 3d773439d844c38ecc6bfac34ff2c3620a749aa5
# Parent  890303a7bbc87a6ec121b2edb16ccec6eb6e36bd
removed buggy FTP scripts and replaced them by a script for transfer
to our HTTP server

diff -r 890303a7bbc8 -r 3d773439d844 src/Tools/ftp_html.sh
--- a/src/Tools/ftp_html.sh	Thu Oct 26 11:47:25 1995 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,31 +0,0 @@
-#!/bin/csh
-# Executed from the main Isabelle directory, this script transfers all
-# files needed for the HTML version of Isabelle's theories to the FTP
-# server. It deletes old files and makes directories by executing the
-# commands stored in ftp_mkdirs.txt.
-#
-# Provide password as first argument or enter it manually at the prompt.
-
-echo >ftp_commands.tmp
-foreach f (*/*.thy */*/*.thy */*/*/*.thy)
-  if ( -f $f:r.html ) then
-    echo put $f:r.html >>ftp_commands.tmp
-    echo put $f:r_sub.html >>ftp_commands.tmp
-    echo put $f:r_sup.html >>ftp_commands.tmp
-    if ( -f $f:r.ML ) then
-      echo put $f:r.ML >>ftp_commands.tmp
-    endif
-  endif
-end
-
-( \
- echo user nipkow $1; \
- echo cd isabelle; \
- echo bin; \
- echo "mput logics.html Tools/*_arrow.gif */00-chart.html;" \
- echo "mdel */*.ML */*.html */*/*.ML */*/*.html */*/*/*.ML */*/*/*.html"; \
- cat Tools/ftp_mkdirs.txt \
- cat ftp_commands.tmp \
-) | ftp -inv ftp.informatik.tu-muenchen.de
-
-rm ftp_commands.tmp
diff -r 890303a7bbc8 -r 3d773439d844 src/Tools/ftp_mkdirs.txt
--- a/src/Tools/ftp_mkdirs.txt	Thu Oct 26 11:47:25 1995 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,38 +0,0 @@
-mkdir CCL
-mkdir CCL/ex
-mkdir CTT
-mkdir CTT/ex
-mkdir Cube
-mkdir FOL
-mkdir FOL/ex
-mkdir FOLP
-mkdir FOLP/ex
-mkdir HOL
-mkdir HOL/AxClasses
-mkdir HOL/AxClasses/Group
-mkdir HOL/AxClasses/Tutorial
-mkdir HOL/IMP
-mkdir HOL/IOA
-mkdir HOL/IOA/ABP
-mkdir HOL/IOA/NTP
-mkdir HOL/IOA/meta_theory
-mkdir HOL/Integ
-mkdir HOL/Lambda
-mkdir HOL/Subst
-mkdir HOL/ex
-mkdir HOLCF
-mkdir HOLCF/ax_ops
-mkdir HOLCF/domain
-mkdir HOLCF/ex
-mkdir HOLCF/explicit_domains
-mkdir LCF
-mkdir LK
-mkdir LK/ex
-mkdir Modal
-mkdir Modal/ex
-mkdir ZF
-mkdir ZF/AC
-mkdir ZF/Coind
-mkdir ZF/IMP
-mkdir ZF/Resid
-mkdir ZF/ex
diff -r 890303a7bbc8 -r 3d773439d844 src/Tools/install_html.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/install_html.sh	Thu Oct 26 12:49:02 1995 +0100
@@ -0,0 +1,8 @@
+#!/bin/csh
+# Executed from the main Isabelle directory, this script transfers all
+# files needed for the HTML version of Isabelle's theories to the HTTP
+# server.
+
+rcp logics.html www4:.html-data/isabelle
+rcp Tools/*arrow.gif www4:.html-data/isabelle/Tools
+rcp -r CCL CTT Cube FOL FOLP HOL HOLCF LCF LK Modal ZF www4:.html-data/isabelle