changeset 2221 | 39077a563a82 |
parent 2179 | 018906568ef0 |
child 2804 | 889d99613720 |
--- a/src/Tools/install_html.sh Fri Nov 22 17:46:31 1996 +0100 +++ b/src/Tools/install_html.sh Mon Nov 25 08:25:39 1996 +0100 @@ -14,7 +14,7 @@ rcp Tools/*.gif www4:.html-data/isabelle/Tools if ( "$*" == "" ) then - rcp -r CCL CTT Cube FOL FOLP HOL HOLCF LCF LK Modal ZF \ + rcp -r CCL CTT Cube FOL FOLP HOL HOLCF LCF Sequents ZF \ www4:.html-data/isabelle else rcp -r $* www4:.html-data/isabelle