EMAILDIST-README
author berghofe
Tue Oct 16 16:48:30 2001 +0200 (2001-10-16)
changeset 11799 533a95523f61
parent 0 a5a9c433f639
permissions -rw-r--r--
Font metrics used for batch mode layout (without X11 connection).
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!