minor updates
authorlcp
Tue Jul 12 18:38:39 1994 +0200 (1994-07-12)
changeset 4706cb6dd05d761
parent 469 b571d997178d
child 471 22325fd7234e
minor updates
README
     1.1 --- a/README	Tue Jul 12 18:30:53 1994 +0200
     1.2 +++ b/README	Tue Jul 12 18:38:39 1994 +0200
     1.3 @@ -25,11 +25,12 @@
     1.4  using the Bourne shell, sh.
     1.5  
     1.6  ISABELLEBIN is the directory to hold Poly/ML databases or New Jersey ML
     1.7 -images.  When using Poly/ML, ISABELLEBIN must be an absolute pathname (one
     1.8 -starting with "/").
     1.9 +images.  This directory *must* be different from the Isabelle source
    1.10 +directory.  When using Poly/ML, ISABELLEBIN must be an absolute pathname
    1.11 +(one starting with "/").
    1.12  
    1.13 -ML_DBASE is an *absolute* pathname to the initial Poly/ML database (not
    1.14 -required for New Jersey ML).
    1.15 +ML_DBASE is an *absolute* pathname to the initial Poly/ML database.  It is not
    1.16 +required for New Jersey ML.
    1.17  
    1.18  ISABELLECOMP is the ML compiler, typically "poly -noDisplay" or "sml".  If
    1.19  ISABELLECOMP begins with the letters "poly" then the Makefiles assume that
    1.20 @@ -52,6 +53,7 @@
    1.21    make-all-poly		sample make-all invocation for Poly/ML
    1.22    make-all-nj		sample make-all invocation for SML of NJ
    1.23    change_simp		shell script to help convert sources to new simplifier
    1.24 +  conv-theory-files.pl  perl script to rename old theory files
    1.25    expandshort		shell script to expand "shortcuts" in files
    1.26    prove_goal.el       	Emacs command to change proof format
    1.27    xlisten		shell script for running Isabelle under X
    1.28 @@ -125,4 +127,4 @@
    1.29  D-80290 Muenchen
    1.30  Germany
    1.31  
    1.32 -Last updated 13 May 1994
    1.33 +Last updated 20 May 1994