|
clasohm@0
|
1 |
ISABELLE -- INSTRUCTIONS FOR UNPACKING THE EMAIL DISTRIBUTION
|
|
clasohm@0
|
2 |
|
|
clasohm@0
|
3 |
The Isabelle email distribution consists of about 8 installments, each
|
|
clasohm@0
|
4 |
small enough to send by electronic mail. The files are called Isabelle.aa,
|
|
clasohm@0
|
5 |
Isabelle.ab, .... They have been generated by tar, compress, uuencode, and
|
|
clasohm@0
|
6 |
split, and are packed for email using shar. To unpack the files, perform
|
|
clasohm@0
|
7 |
the following steps:
|
|
clasohm@0
|
8 |
|
|
clasohm@0
|
9 |
STEP 1. Create a new directory to hold Isabelle and move to that
|
|
clasohm@0
|
10 |
directory (the name of the directory does not matter):
|
|
clasohm@0
|
11 |
|
|
clasohm@0
|
12 |
mkdir Isabelle; cd Isabelle
|
|
clasohm@0
|
13 |
|
|
clasohm@0
|
14 |
STEP 2. Put each message into a separate file and pipe it through unshar.
|
|
clasohm@0
|
15 |
(If you don't have unshar, remove the header lines generated by the mail
|
|
clasohm@0
|
16 |
system and submit the file to sh.)
|
|
clasohm@0
|
17 |
|
|
clasohm@0
|
18 |
STEP 3. Concatenate the files into one file using the command
|
|
clasohm@0
|
19 |
|
|
clasohm@0
|
20 |
cat Isabelle.?? > 92.tar.Z.uu
|
|
clasohm@0
|
21 |
|
|
clasohm@0
|
22 |
STEP 4. Undo the uuencode operation using the command
|
|
clasohm@0
|
23 |
|
|
clasohm@0
|
24 |
uudecode 92.tar.Z.uu
|
|
clasohm@0
|
25 |
|
|
clasohm@0
|
26 |
STEP 5. You should now have a file 92.tar.Z; uncompress and unpack it using...
|
|
clasohm@0
|
27 |
|
|
clasohm@0
|
28 |
uncompress -c 92.tar.Z | tar xf -
|
|
clasohm@0
|
29 |
|
|
clasohm@0
|
30 |
STEP 6. You should now have a complete Isabelle directory, called 92. You
|
|
clasohm@0
|
31 |
may now tidy up by executing
|
|
clasohm@0
|
32 |
|
|
clasohm@0
|
33 |
rm Isabelle.?? *.hdr 92.tar.Z.uu 92.tar.Z
|
|
clasohm@0
|
34 |
|
|
clasohm@0
|
35 |
Consult the file 92/README for information on compiling Isabelle.
|
|
clasohm@0
|
36 |
|
|
clasohm@0
|
37 |
Good luck!
|