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