author | clasohm |
Thu, 26 Oct 1995 12:49:02 +0100 | |
changeset 1310 | 3d773439d844 |
child 1312 | 0c0e6298df13 |
permissions | -rwxr-xr-x |
#!/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