EMAILDIST-README
changeset 0 a5a9c433f639
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/EMAILDIST-README	Thu Sep 16 12:20:38 1993 +0200
     1.3 @@ -0,0 +1,37 @@
     1.4 +ISABELLE -- INSTRUCTIONS FOR UNPACKING THE EMAIL DISTRIBUTION 
     1.5 +
     1.6 +The Isabelle email distribution consists of about 8 installments, each
     1.7 +small enough to send by electronic mail.  The files are called Isabelle.aa,
     1.8 +Isabelle.ab, ....  They have been generated by tar, compress, uuencode, and
     1.9 +split, and are packed for email using shar.  To unpack the files, perform
    1.10 +the following steps:
    1.11 +
    1.12 +STEP 1.  Create a new directory to hold Isabelle and move to that
    1.13 +directory (the name of the directory does not matter):
    1.14 +
    1.15 +	mkdir Isabelle;  cd Isabelle
    1.16 +
    1.17 +STEP 2.  Put each message into a separate file and pipe it through unshar.
    1.18 +(If you don't have unshar, remove the header lines generated by the mail
    1.19 +system and submit the file to sh.)
    1.20 +
    1.21 +STEP 3.  Concatenate the files into one file using the command
    1.22 +
    1.23 +	cat Isabelle.?? > 92.tar.Z.uu
    1.24 +
    1.25 +STEP 4.  Undo the uuencode operation using the command
    1.26 +
    1.27 +	uudecode 92.tar.Z.uu
    1.28 +
    1.29 +STEP 5.  You should now have a file 92.tar.Z; uncompress and unpack it using...
    1.30 +
    1.31 +   	uncompress -c 92.tar.Z | tar xf -
    1.32 +
    1.33 +STEP 6.  You should now have a complete Isabelle directory, called 92.  You
    1.34 +may now tidy up by executing
    1.35 +
    1.36 +	rm Isabelle.?? *.hdr 92.tar.Z.uu 92.tar.Z
    1.37 +
    1.38 +Consult the file 92/README for information on compiling Isabelle.
    1.39 +
    1.40 +						Good luck!